APA (7th ed.) Citation

Hoare, C. A. R., & Shepherdson, J. C. (1985). Mathematical logic and programming languages. Prentice-Hall International.

Chicago Style (17th ed.) Citation

Hoare, C. A. R., and J. C. Shepherdson. Mathematical Logic and Programming Languages. Englewood Cliffs, New Jersey [etc.]: Prentice-Hall International, 1985.

MLA (9th ed.) Citation

Hoare, C. A. R., and J. C. Shepherdson. Mathematical Logic and Programming Languages. Prentice-Hall International, 1985.