胡正国，蔡经球编著1987 年出版227 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
季羡林总主编；冯天瑜，汤一介，李学勤，张正明，俞伟超，袁行霈，章开沅副总主编；李维武著2005 年出版691 页ISBN：7535142702
付小兵主编；黄跃生，蒋建新副主编；王正国，盛志勇主审；王凤君，王常勇，付小兵等编2014 年出版592 页ISBN：9787117186506
本书以解决临床中实际遇到的问题为立足点，以临床诊疗的回顾·现状·展望为线索，通过对具有转折点意义的诊疗理论、技术或方法探索过程的回顾，目前诊疗中的困惑、局限与不足以及诊疗实践中应注意问题等现状的分...
张正明主编2003 年出版230 页ISBN：7810773577
本书为高校教材，内容包括电路的基本概念与定律，电路分析方法，正弦交流电，三相电路和电路的暂态分析，模拟电子技术，数字电子技术等。...
