介绍程序设计语言原理,包括induction, recursion和程序设计语言, 是一本很好的教材