Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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