Introduction to HOL (1993)

by Mike J C Gordon, Tom F Melham