The Structure of typed programming languages - Schmidt, David A. (The MIT Press, 1994)
Includes bibliographical references & index.