Schmidt, D. A. The structure of typed programming languages - Cambridge; Massachusetts MIT Press 1994 - xiv, 367p. - Foundations of computing series . ISBN: 0-262-19349-3