The HOL system description. On the Internet at http://hol.sourceforge.net (2007)

by Michael Norrish, Konrad Slind