Harold Abelson, Gerald Jay Sussman, Julie Sussman.
Structure and Interpretation of Computer Programs.
MIT Press. 1985
(read but not reviewed)
This book presents a unique conceptual introduction to programming
intended to give readers command of the major techniques used
to control the complexity of large software systems:
building abstractions, establishing conventional interfaces,
and establishing new descriptive languages.