Cita APA

McGettrick, A. D., & McGettrick, A. D. (1982). Program verification using Ada. Cambridge: Cambridge University Press.

Citación estilo Chicago

McGettrick, Andrew D., y Andrew D. McGettrick. Program Verification Using Ada. Cambridge: Cambridge University Press, 1982.

Cita MLA

McGettrick, Andrew D., y Andrew D. McGettrick. Program Verification Using Ada. Cambridge: Cambridge University Press, 1982.