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

This comprehensive book provides a broad exploration of programming paradigms and their underlying concepts. It covers declarative, functional, logic, constraint, object-oriented, and concurrent programming, among others, using the Oz programming language to illustrate them. The authors emphasize unifying principles across models, equipping readers with a deep understanding of programming techniques and their practical applications.