Introduction to the theory of programming languages

by Bertrand Meyer