Introduction to HOL a theorem proving environment for higher order logic - Gordon M J; Melham T F (New York Cambridge University Press, 1993)
Keywords: Higher order logic