Concepts, Techniques, and Models of Computer Programming door Peter Van Roy & Seif Haridi