APA stil citiranja
Gordon, M., & Melham, T. (1993). Introduction to HOL : a theorem proving environment for higher order logic: Introduction to HOL : a theorem proving environment for higher order logic (1. izd.). Cambridge: Cambridge University Press.
Chicago stil citiranjaGordon, M.J.C, and T.F Melham. Introduction to HOL : a theorem proving environment for higher order logic: Introduction to HOL : a theorem proving environment for higher order logic. 1. izd. Cambridge: Cambridge University Press, 1993.
MLA stil citiranjaGordon, M.J.C, and T.F Melham. Introduction to HOL : a theorem proving environment for higher order logic: Introduction to HOL : a theorem proving environment for higher order logic. 1. izd. Cambridge: Cambridge University Press, 1993.
Napomena: Ova citiranost nije uvijek 100% točna.