HOL light: A tutorial introduction (1996)

by John Harrison
Venue:Formal Methods in Computer-Aided Design (FMCAD ’96), volume 1166 of LNCS