Introduction to the Theory of Programming Languages (1991)

by Bertrand Meyer