（美）罗海尔（Roehl，Perry O），（美）乔奎特（Choquette，Philip W）编；王正鉴，江若霓等译1993 年出版527 页ISBN：7502108424
王正瑄，冯治广主编2008 年出版213 页ISBN：9787802420557
本书包括：C语言概述，数据类型、运算符与表达式，顺序结构程序设计，选择结构程序设计，循环结构程序设计，数组，函数、指针、结构体，预处理命令，文件，并在最后设计了一系列综合案例。...
胡正国，吴健，邓正宏编著2009 年出版266 页ISBN：9787118060515
本书主要介绍了程序设计方法学这一学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序开线推导、程序变换技术等。...
（捷克）米兰·昆德拉原著；王正译著2222 年出版228 页ISBN：720405539X
本书汇集了世界各国成功人士的成功经验，以此启示读者的成功励志。
