A thread of HOL development (0)

by Michael Norrish, Konrad Slind
Venue:The Computer Journal