Introduction to the HOL system (1992)

by Mike Gordon
Venue:Proceedigns of the International Workshop on the HOL Theorem Proving System and its Applications