本书从1980年开始就是美国麻省理工学院计算机科学专业的入门课程教材之一,从理论上讲解计算机程序的创建、执行和研究。主要内容包括:构造过程抽象,构造数据抽象,模块化、对象和状态,元语言抽象,寄存器机器里的计算等。本书描述生动有趣,是计算机专业学生入门必读教材,也是计算机专业人士不可或缺的参考。