这是一本名为《Concepts, Techniques, and Models of Computer Programming》的计算机编程教材，由 Peter Van Roy 和 Seif Haridi 撰写，于 2004 年 3 月出版，硬壳精装，900 多页，ISBN 0 - 262 - 22069 - 5。

• 主要观点：为计算机科学学生提供全面且最新的所有主要编程概念、技术和范式的统一框架展示，适用于二至研究生计算机编程课程，也适用于从业者和研究人员，具有并发编程、数据抽象、编程范式整合、实用性和形式语义等显著特点。

• 关键信息：

  • 围绕编程概念组织，从包含少量概念的小语言开始，逐步添加概念以涵盖多种编程范式。
  • 介绍了多种编程范式，如声明式并发、数据抽象的不同方式、多种编程语言代表等。
  • 有丰富的配套资源，包括免费课程材料、讲座、文章、开源软件支持等。
  • 采用基于内核语言的教学方法，以简单的内核语言为基础定义各种编程语言和范式，避免技术细节 clutter。
  • Mozart 编程系统是本书的配套开发平台，可运行书中所有代码片段，且为开源软件。

• 重要细节：

  • 书中介绍了超过二十种范式，均以多范式语言 Oz 的子集表示，如 Erlang、Haskell、Java 和 Prolog 等。
  • 配套资源丰富，如超过 2000 张幻灯片的课程材料、动画内核语言解释器、代码补充和技术信息、勘误表、Wiki 等。
  • 讲座涵盖多个主题和语言，如在 IRCAM 的讲座、SIGCSE 等会议的演讲等。
  • 文章介绍了基于内核语言的教学方法在不同会议和工作中的应用。
  • 历史方面，Mozart 系统由 Gert Smolka 开发，后由 Mozart 委员会和 Mozart 董事会管理开发，作者自 1995 年起合作撰写本书。
  • 许多人对本书给予高度评价，如 Doug Merritt、Peter Gammie 等，且在教学中得到广泛应用，有多个完整和部分课程使用本书。