HOL Light: A tutorial introduction (1996)

by John Harrison
Venue:Proceedings of the First International Conference on Formal Methods in Computer-Aided Design (FMCAD’96), volume 1166 of Lecture Notes in Computer Science