《计算的本质：深入剖析程序和计算机》 - 比思論壇

《计算的本质：深入剖析程序和计算机》借助简单的Ruby代码示例，全面、深入地介绍计算理论和编程语言设计。作者注重实用性，在读者熟知的背景知识下，以明晰的可工作代码阐释了形式语义、自动机理论，以及通过lambda演算进行函数式编程等计算问题，并为读者自行探索打下了良好基础。
　　《计算的本质：深入剖析程序和计算机》面向熟悉某种现代编程语言却非科班出身的程序员，是一本帮你真正理解计算机科学和计算原理的优秀参考书。