B
[BK08] Christel Baier and Joost-Pieter Katoen. Principles of Model-Checking. MIT Press, May 2008. 
@book{PoMC2008-BK,
  author =              {Baier, {\relax Ch}ristel and Katoen, Joost-Pieter},
  title =               {Principles of Model-Checking},
  publisher =           {MIT Press},
  year =                {2008},
  month =               may,
}
List of authors