胡正国，蔡经球编著1987 年出版227 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
蔡锷著；文明国编2011 年出版282 页ISBN：9787807093985
本书通过蔡锷遗著和历史文献的精选，按“自述”形式，揭示蔡锷追随孙中山推翻帝制，创建民国的革命活动，着重描述“云南光复”、讨袁护法等重要军事活动及蔡锷的军事思想。...
杨序国编2009 年出版167 页ISBN：9787111284765
怎样解决基层员工的操作规范化及自我发展问题，如何使现有干部进一步职业化，如何尽快发掘培养新干部，华为公司堪称标杆。
