Παραπομπή σε μορφή APA (7η εκδ.)

Gordon, M. J., & Melham, T. F. (1993). Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Gordon, M. J., και T. F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge: Cambridge University Press, 1993.

Παραπομπή σε μορφή MLA (8th εκδ.)

Gordon, M. J., και T. F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, 1993.