Citação norma APA
Hoare, C. A. (1985). Mathematical logic and programming languages. Prentice Hall.
Citação norma Chicago
Hoare, Charles A.R. Mathematical Logic and Programming Languages. Englewood Cliffs: Prentice Hall, 1985.
Citação norma MLA
Hoare, Charles A.R. Mathematical Logic and Programming Languages. Prentice Hall, 1985.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.