哈佛大学高级编程语言课中选择了本书中的一章作为讲义,该书的作者是哥本哈根大学的教授,是一本为数不多的基于实际语言讲解程序分析方面的书,书中已经添加了目录