APA (7th ed.) Citation

McGettrick, A. D. (1982). Program verification using Ada (1. publ.). Cambridge Univ. Pr.

Chicago Style (17th ed.) Citation

McGettrick, Andrew D. Program Verification Using Ada. 1. publ. Cambridge: Cambridge Univ. Pr, 1982.

MLA (9th ed.) Citation

McGettrick, Andrew D. Program Verification Using Ada. 1. publ. Cambridge Univ. Pr, 1982.

Warning: These citations may not always be 100% accurate.