An introduction to the study of programming languages - Barron, D.W (Cambridge University Press, 1977)