教材

Composing Programs, Third Edition

伯克利 CS61A 使用的开放教材，介绍程序抽象、数据抽象和解释器。

John DeNero · Composing Programs

教材中的引用位置

C00 · 第 1 章程序、类型、控制流与函数

官方来源

官方页面https://composingprograms.com/3ed/