HowToDesignPrograms(2ndEdition)

现代编程语言的语法大多很繁杂，初学者使用这些语言学习编程会导致花大量的时间在编程语言语法（诸如指针，引用和类型定义）而不是程序设计方法（诸如数据抽象和过程抽象）之上。程序设计方法解决了这个问题——它专注于程序设计方法，使得读者无需把大量时间花在编程语言上。这本书还有一个与之配套的教学开发环境DrRacket，这个环境会根据读者的程度变换编程语言的深度，使得读者可以始终把注意力集中在程序设计方法上。—————http://lucida.me/blog/developer-reading-list/#htdp这是我从网站上打印下来的，整合成了一个pdf文件，方便离线阅读