Andrews, Peter B. 1986. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Computer Science and Applied Mathematics Series. Academic Press.

Church, Alonzo. 1940. “A Formulation of the Simple Theory of Types.” Journal of Symbolic Logic 5: 56–68.

Milner, R., M. Tofte, and R. Harper. 1990. The Definition of Standard ML. MIT Press.

Spivey, M. 1989. The Z Notation. Prentice-Hall.