McGettrick, A. D. (1982). Program verification using Ada. Cambridge Univ, Press.
Chicago-Zitierstil (17. Ausg.)McGettrick, Andrew D. Program Verification Using Ada. Cambridge [u.a.]: Cambridge Univ, Press, 1982.
MLA-Zitierstil (9. Ausg.)McGettrick, Andrew D. Program Verification Using Ada. Cambridge Univ, Press, 1982.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.