Concepts, Techniques, and Models of Computer Programming
is a textbook published in 2004 about general computer programming
concepts from MIT Press
written by Université catholique de Louvain
professor Peter van Roy
and Royal Institute of Technology, Sweden
professor Seif Haridi
Using a carefully selected progression of subsets of the Oz programming language, the book explains the most important programming concepts, techniques and models (paradigms).