Concepts, Techniques, and Models of Computer Programming

Peter Van Roy, Seif Haridi

English (MIT Press)			French (Dunod Éditeur)
Polish (Helion)			Japanese (Shoeisha)