Trích dẫn kiểu APA (xuất bản lần thứ 7)
Baier, C., & Katoen, J. (2008). Principles of model checking. MIT Press.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
Baier, Christel, và Joost-Pieter Katoen. Principles of Model Checking. Cambridge, Mass.: MIT Press, 2008.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
Baier, Christel, và Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.