胡正国，蔡经球编著1987 年出版227 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
朱文球，刘强，陈青主编2010 年出版339 页ISBN：9787040295733
本书是根据教育部计算机基础课程教学指导委员会编制的“计算机基础课程基本要求”编写而成的。
唐振达，李保婵主编2017 年出版136 页ISBN：9787565430268
本书在总结企业整体价值评估中主要业务基础上，借鉴“做中学(CDIO)”的原理开发，选择的案例数据具有仿真性、典型性、先进性、实用性和前瞻性，且每一个实训项目都设计导航系统，可以采用手工和电算两种手段达到“...
