APA (7th ed.) Citation

Hoare, C. A. R., & Gordan, M. J. C. (1992). Mechanized reasoning and hardware design. Prentice Hall.

Chicago Style (17th ed.) Citation

Hoare, C. A. R., and M. J. C. Gordan. Mechanized Reasoning and Hardware Design. New York: Prentice Hall, 1992.

MLA (9th ed.) Citation

Hoare, C. A. R., and M. J. C. Gordan. Mechanized Reasoning and Hardware Design. Prentice Hall, 1992.