胡正国，蔡经球编著1987 年出版227 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
林正，李思奇编著2010 年出版312 页ISBN：9787504468512
本书结合大量的经典案例，以独特的结构逻辑，全面分析介绍了哈佛辩护学的基本内容和辩护技巧，具有较强的指导性、实用性和可读性。
林正，李思奇编著2010 年出版645 页ISBN：9787504468512
本书结合大量的经典案例，以独特的结构逻辑，全面分析介绍了哈佛辩护学的基本内容和辩护技巧，具有较强的指导性、实用性和可读性。
