author : Mike J. C. Gordon

Books

• Introduction to HOL: a theorem proving environment for higher order logic. 1993, with T. F. Melham

Short works

• Z and HOL. 1994. (In 8th Z User Workshop )
• Linking higher order logic to binary decision diagrams. 2000. (In Millennial Perspectives in Computer Science )