APA (7th ed.) Citation

Hutton, G. (1994). Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic. Cambridge University Press.

Chicago Style (17th ed.) Citation

Hutton, Graham. Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic. Cambridge University Press, 1994.

MLA (9th ed.) Citation

Hutton, Graham. Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic. Cambridge University Press, 1994.