Melham TF (eds). Introduction to HOL: A Theoremproving Environment for Higher-Order Logic (1993)

by Gordon MJC