HOL light: a tutorial introduction (1996)

by Harrison
Venue:Har96] [Har06] [Hun03] [KBB96] [Len77] [Len82] [MB06] [MBA07] [MBS05] [MBS06] [McC94