Gaya APA

McGettrick, A, D. (1982). Program Verification Using Ada . Cambridge: Cambrige University Press.

Gaya MLA

McGettrick, A., D.. "Program Verification Using Ada". Cambridge: Cambrige University Press, 1982. Text.