Gordon, M. J., & Melham, T. F. (1993). Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press.
Chicago Style (17th ed.) CitationGordon, M. J., and T. F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge: Cambridge University Press, 1993.
MLA (8th ed.) CitationGordon, M. J., and T. F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, 1993.
Warning: These citations may not always be 100% accurate.
