Introduction to HOL: a theorem proving environment for higher order logic (0)

by Z Luo, R Pollack