Clarke, E.M., Grumberg, O. und Peled, D. (1999) Model checking [book]. Cambridge, MA [u.a.]: MIT Press.
Chicago Manual of Style 17th edition (full note)Clarke, Edmund M., Orna Grumberg, und Doron Peled. Model checking. Book. Cambridge, MA [u.a.]: MIT Press, [1999?], Cambridge, MA [u.a.]: MIT Press, [1999?].
American Psychological Association 7th editionClarke, E. M., Grumberg, O., & Peled, D. (ca. 1999). Model checking [Book]. MIT Press.
Modern Language Association 9th editionClarke, E. M., O. Grumberg, und D. Peled. Model checking. book, MIT Press, 1999.
ISO-690 (author-date, Deutsch)CLARKE, Edmund M., Orna GRUMBERG und Doron PELED, 1999. Model checking. Cambridge, MA [u.a.]: MIT Press. ISBN 0262032708
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.