计算机程序的构造和解释

本书内容包括:构造过程抽象, 构造数据抽象, 模块化, 对象和状态, 元语言抽象, 寄存器机器里的计算等.