Principles of programming languages - TENNENT, R.D. (PRENTICE/HALL, 1981)