Gordon, M.J.C. "HOL: A Machine Oriented Formulation of Higher Order Logic", Report 68, Comp Lab U Cambridge (1985).

Languages mentioned

• HOL {1985} Higher Order Logic