A thread of HOL development (2002)

by M Norrish, K Slind
Venue:Comput. J