Introduction to the HOL system (1991)

by M Gordon
Venue:in: HOL Theorem Proving System and Its Applications, 1991., International Workshop on the