Higher Order Logic: description of the HOL proof generating system (1984)

by M J C Gordon