C
[CG87] Edmund M. Clarke and Orna Grumberg. Research on Automatic Verification of Finite-State Concurrent Systems. Annual Review of Computer Science 2:269-290. Annual Reviews Inc., 1987. 
@article{arcs2()-CG,
  author =              {Clarke, Edmund M. and Grumberg, Orna},
  title =               {Research on Automatic Verification of Finite-State
                         Concurrent Systems},
  publisher =           {Annual Reviews Inc.},
  journal =             {Annual Review of Computer Science},
  volume =              {2},
  pages =               {269-290},
  year =                {1987},
}
List of authors