Citação norma APA

McGettrick, A. D. A. (1982). Program verification using Ada.

Citação norma Chicago

McGettrick, Andrew D; Author. Program Verification Using Ada. Cambridge, Cambridge University Press, 1982.

Citação norma MLA

McGettrick, Andrew D; Author. Program Verification Using Ada. 1982.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.