Introduction to the Theory of Programming Languages (1991) now freely availablebertrandmeyer.com5 pointstodsacerdoti4 years ago