Michael J. C. Gordon: Introduction to the HOL System. TPHOLs 1991: 2-3