> Mike J. C. Gordon
Mike J. C. Gordon
author : Mike J. C. Gordon
Introduction to HOL: a theorem proving environment for higher order logic
T. F. Melham
Z and HOL. 1994.
8th Z User Workshop
Linking higher order logic to binary decision diagrams. 2000.
Millennial Perspectives in Computer Science