A Report on ICL HOL (1992)

by R D Arthan
Venue:Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications. IEEE Computer