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

Hinchey, M. G., & Bowen, J. P. (1999). Industrial-strength formal methods in practice. Springer.

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

Hinchey, Michael G., και J. P. Bowen. Industrial-strength Formal Methods in Practice. London: Springer, 1999.

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

Hinchey, Michael G., και J. P. Bowen. Industrial-strength Formal Methods in Practice. Springer, 1999.