eds.): Introduction to HOL: a theorem proving environment for higher order logic (1993)

by M J C Gordon, T Melham