1991
Type Theory and Functional Programming
by Simon Thompson (396 pages)