胡正国，蔡经球编著1987 年出版227 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
（古巴）毕时达满特（A.B.Bustamante）著；萧经方译；李天纲主编2017 年出版127 页ISBN：7552017700
（日）驮田井正著；凌经球译1994 年出版178 页ISBN：7800922693
分:Quesney的经济表的模型、一般均衡的模型、Keynes的不均衡模型等8章。
凌经球，赵禹骅，蓝波，罗继红，李海英著2014 年出版293 页ISBN：9787219091432
本书总结了前一轮西部大开发的成就与经验，探讨了新一轮西部大开发的理论基础、面临形势，提出了新一轮西部大开发的总体思路、重点任务、开发路径、主要政策等。本书的出版为深入推进新一轮西部大开发提供理论...
胡正国，蔡经球编著1992 年出版268 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
