程序设计方法 - Felleisen, Matthias; 黄, 林鹏; 朱, 崇恺 (人民邮电出版社, 2003)