The anatomy of programming languages - Fischer (Prentice Hall, 1993)