1. Peter B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof Academic Press, May 1986.
2. Lect Notes Comput Sci;A. D. Brucker,2002
3. Alonzo Church.A formulation of the simple theory of types. Journal of Symbolic Logic 5:56–68,1940.
4. Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, and Alan Wills. The Amsterdam Manifesto on OCL.Technical Report TUM-I9925, TU München,1999.
5. Mike J.C. Gordon and Tom F. Melham. Introduction to HOL Cambridge Press, July 1993.