Introduction to HOL: A Theorem Proving Environment for Higher-order Logic (1993)

by M J C Gordon, T F Melham