C
[CGP00] Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model checking. MIT Press, 2000. 
@book{MC2000-CGP,
  author =              {Clarke, Edmund M. and Grumberg, Orna and Peled,
                         Doron A.},
  title =               {Model checking},
  publisher =           {MIT Press},
  year =                {2000},
}
List of authors