T.: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic: Cambridge (1993)

by M Melham