author : Mike J. C. Gordon

Books

• (Introduction to HOL: a theorem proving environment for higher order logic. 1993. With T. F. Melham)

Papers/Articles

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