（美）斯特帕诺夫著2012 年出版283 页ISBN：9787111367291
本书将演绎方法应用于程序设计，讨论程序与保证它们能正确工作的抽象数学理论之间的联系。书中把理论的规程、基于这些理论写出的算法，以及描述算法性质的引理和定理一起呈现给读者。...
（加）Giancarlo Succi，（意）Michele Marchesi著；张辉译2002 年出版522 页ISBN：711510381X
本书介绍了XP以及柔性技术的基础，柔性技术和UML，结对编程、测试和重构，XP开发工具，XP上的实践经验等内容。
马宏革，张建军主编2011 年出版193 页ISBN：9787122104342
本书介绍了可编程控制器的通信及网络、PLC控制系统设计及应用。
张卫东主编；李光副主编；刘淑艳，刘斌，齐丽君参编2006 年出版254 页ISBN：7111178742
本书包括DELPHI基础知识，组件与程序交互等。
（美）（M.威廉姆斯）Mickey Williams著；前导工作室译1999 年出版700 页ISBN：711107632X
