G
[GS92] Steven M. German and A. Prasad Sistla. Reasoning about Systems with Many Processes. Journal of the ACM 39(3):675-735. ACM Press, July 1992. 
@article{jacm39(3)-GS,
  author =              {German, Steven M. and Sistla, A. Prasad},
  title =               {Reasoning about Systems with Many Processes},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {39},
  number =              {3},
  pages =               {675-735},
  year =                {1992},
  month =               jul,
  doi =                 {10.1145/146637.146681},
}
List of authors