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

Mili, A. (1985). An introduction to formal program verification. Van Nostrand Reinhold.

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

Mili, Ali. An Introduction to Formal Program Verification. New York: Van Nostrand Reinhold, 1985.

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

Mili, Ali. An Introduction to Formal Program Verification. Van Nostrand Reinhold, 1985.