APA-viite (7. p.)
Baier, C., & Katoen, J. (2008). Principles of model checking. MIT Press.
Chicago-viite (17. p.)
Baier, Christel, ja Joost-Pieter Katoen. Principles of Model Checking. Cambridge, Mass.: MIT Press, 2008.
MLA-viite (9. p.)
Baier, Christel, ja Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.