C
[CGL94] Edmund M. Clarke, Orna Grumberg, and David E. Long. Model Checking. ACM Transactions on Programming Languages and Systems 16(5):1-45. ACM Press, September 1994. 
@article{toplas16(5)-CGL,
  author =              {Clarke, Edmund M. and Grumberg, Orna and Long, David
                         E.},
  title =               {Model Checking},
  publisher =           {ACM Press},
  journal =             {ACM Transactions on Programming Languages and
                         Systems},
  volume =              {16},
  number =              {5},
  pages =               {1-45},
  year =                {1994},
  month =               sep,
}
List of authors