A Brief Overview of HOL4 (2008)

by K Slind, M Norrish
Venue:TPHOLs, volume 5170 of LNCS