出自计算机科学国家重点实验室

1. 唐稚松, XYZ研究组：《时序逻辑程序设计与软件工程：下册 (软件工程方法与工具)》，科学出版社，2002年5月
2. 冯玉琳，黄涛, 金蓓弘：《网络分布计算和软件工程》，中文专著，科学出版社，2003年5月
3. 林惠民，Hans-Dieter Ehrich：Proceedings of the 3rd International Conference on Quality Software，QSIC 2003，英文编著，IEEE Computer Science Press，2003年11月
4. 张云泉，陈英 译：《并行算法导论》（Introduction to Parallel Algorithms），机械工业出版社/中信出版社，2004年2月
5. 冯玉琳，钟华：《现代软件技术》，化学工业出版社，2004年4月
6. 雷剑文，陈振冲，李明树：《超越传统的软件开发——极限编程的幻象与真实》，电子工业出版社，2005年1月
7. 王青, 李怀璋, 李明树：《软件质量管理——标准、技术与实践》，中国计划出版社，2005年
8. 徐罡，黄涛 译：《Effective XML：有效使用XML的50种方法》，电子工业出版，2005年
9. 林惠民，柳欣欣，刘佳，屈楠：《通信与移动系统pi演算》（Communicating and Mobile Systems：the pi-Calculus）, 清华大学出版社，2009年1月
10. 冯玉琳，黄涛，金蓓弘：《网络分布计算与软件工程》，科学出版社，2011年5月
11. Hejiao Huang，焦莉，Yo-Yat Cheung，Wai-Ming Mak：《Property-Preserving Petri Net Process Algebra in Software Engineering》，World Scientific，2011年12月