Παραπομπή σε μορφή APA (7η εκδ.)

Brim, L., Haverkort, B., Leucker, M., & Pol, J. v. d. (2007). Formal Methods: Applications and Technology.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Brim, Lubos, Boudewijn Haverkort, Martin Leucker, και Jaco van de Pol. Formal Methods: Applications and Technology. 2007.

Παραπομπή σε μορφή MLA (9th εκδ.)

Brim, Lubos, et al. Formal Methods: Applications and Technology. 2007.