Introduction to HOL (1994)

by M J C Gordon, T F Melham