王正维主编2004 年出版190 页ISBN：7806505172
本书主要内容：用电子表格处理数据；演示文稿的编制与播放；图像处理；网页的制作等，共4个单元，分为36课进行教学。
王正毅著2006 年出版288 页ISBN：7301110626
本书为知名学者自选集，代表了该作者在世界体系理论、IPE理论等领域的学术探索成果，具有学术建设与学术引导意义。
胡正国，蔡经球编著1987 年出版227 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
