HOL theorem prover [Google Scholar] [Wikipedia] Is a kind of: interactive theorem prover Papers: gordon:book:1993 Papers related to HOL theorem prover Experience with embedding hardware description languages in HOL [boulton:tpcd:1993] Introduction to HOL: A Theorem Proving Environment for Higher Order Logic [gordon:book:1993]