《编程的修炼(中英对照)》是图灵奖获得者（荷）戴克斯特拉在编程领域里的经典著作中的经典。由裘宗燕翻译。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理，并通过系列从简单到复杂的程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确可靠程序的过程。
本书写于20世纪70年代中后期，但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质，冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。
“很长时间以来，我一直想写一本基本上是按照本书线索的著作，原因是： 一方面，我知道程序可以有迷人的形态和深刻的逻辑之美；另一方面，我又不得不接受这样的事实，即绝大部分程序只是以一种适台机器执行的方式表达，完全没有什么美感，也不适合人们欣赏。”
“这种不满意还有第二个原因，那就是各种算法通常总是以一种完成了的产品形式发表，而在设计过程中起着最重要作用的，以及成为证明所完成程序的最终形式的正当性的各种思考的主要部分，通常都完全没有提及。我最初的想法是以读者能欣赏到它们的美的方式发表一系列优美的算法。对于如何做这件事，我当时的想法是描述一些实际的和想象中的设计过程，使其中的每个过程最终都得到了一个所需的程序。我在一定程度上实现了最初的想法，作为这本专著的核心部分是一系列的章节，每一章处理并解决一个新闻题。而在另一方面，最终写出的这本书与我早前的期望又有很大不同，由于我特别希望用一种自然而且方便的 方式来展现这些内容，因这种追求而强加给自己的任务变成了一种重要的责任。 我将永远为自己完成了这一工作而感到欣慰。” ——Edoger w D|jkstn
