胡正国，蔡经球编著1987 年出版227 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
朱文球，刘强，陈青主编2010 年出版339 页ISBN：9787040295733
本书是根据教育部计算机基础课程教学指导委员会编制的“计算机基础课程基本要求”编写而成的。
郭振球主编1985 年出版196 页ISBN：7535705626
本书共分14章，内容涵盖问诊、望诊、闻诊、切诊、八纲辨证、病因辨证、气血津液辨证、脏腑辨证、经络辨证、六经、卫气营血、三焦辨证、疾病的概念、命名及分类、疾病的症状鉴别诊断、医案、病历等。...
