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

by C Gordon, Tom F Melham