王凤岐等编著2004 年出版216 页ISBN：7561819919
本书在对多种现代机械设计方法进行概括介绍的基础上，重点讲述了在实践中获得广泛应用的四种机械设计方法。
刘磊，张晶，赵健，张鹏编著2013 年出版196 页ISBN：9787111422525
本书主要内容为：元程序设计、信息流分析、形式概念分析、别名分析、程序分片和部分求值等各种目前主流的程序分析方法。
（P.G.史密斯）Peter G.Smith，（R.H.莫罗）Richard H.Morrow主编；段广才，骆大鹏主译1999 年出版345 页ISBN：7810483099
