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

by M Gordon, T Melham