There's also CTM (_Concepts, Techniques, and Models of Computer Programming_, http://www.info.ucl.ac.be/~pvr/book.html) by Van Roy and Haridi. It focuses on programming paradigms rather than languages, but covers several along the way.