Concepts, techniques, and models of computer programming

Concepts, techniques, and models of computer programming（Peter Van Roy，2004）。暂无简体中文版。HN 上 70 人推荐。以 Oz 语言和逐步扩展的核心模型，讲解各种编程范式的本质与关系。