《计算机程序的构造和解释（JavaScript版）》主要介绍计算的核心思想，采用的方法是为计算建立一系列概念模型。主要内容包括：构造过程抽象，构造数据抽象，模块化、对象和状态，元语言抽象，寄存器机器里的计算等。采用JavaScript作为实例分析，但并不拘泥于对语言的解释，而是通过这种语言来阐述程序设计思想。第1章介绍了计算过程以及函数在程序设计中扮演的角色。第2章在第1章的基础上提供了将数据对象组合起来形成复合数据，进而构造抽象的方法。第3章介绍了一些帮助我们模块化构造大型系统的策略。第4章通过元语言抽象探究如何在一些语言的基础上开发新语言的技术。第5章从寄存器机器的角度出发，通过设计寄存器机器，开发一些机制，实现重要的程序设计结构，同时给出一种描述寄存器机器设计的语言。本书揭示计算机程序设计思想的实质是改变了人们的思考方式：从命令式的观点去研究知识的结构。因此，本书所阐述的设计思想不仅适用于计算机程序设计，而且适用于所有工程设计。
《软件灵活性设计：如何避免陷入编程困境》主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件，并利用依赖系统跟踪、解释和控制回溯。第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配，首先启用术语重写系统，然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统，并用各种元数据注释其中的数据项。第7章引入传播这一概念来摆脱计算机语言的面向表达式范式。

《计算机程序的构造和解释：JavaScript版》
《软件灵活性设计：如何避免陷入编程困境》