Mitchell, J. C. Foundations of programming languages - Massachusetts MIT Press 1996 - xix, 846p. - Foundations of computing . ISBN: 0-262-13321-0