APA (7th ed.) Citation

(1993). Introduction to HOL: A theorem proving environment for higher order logic (1. publ.). Cambridge Univ. Press.

Chicago Style (17th ed.) Citation

Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. 1. publ. Cambridge [u.a.]: Cambridge Univ. Press, 1993.

MLA (9th ed.) Citation

Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. 1. publ. Cambridge Univ. Press, 1993.