书目详细信息 : 计算机同构化程序设计原理及其应用导论