Introduction to the Theory of Programming Languages (1991) - https://bertrandmeyer.com/2022/09/28/introduction-theory-programming-languages-full-book-now-freely-available/