（美）Dov Bulka，（美）David Mayhew著；常晓波，朱剑平译2003 年出版235 页ISBN：7302065500
本书分析某些C++程序低效原因，打破C++语言本身就是一种低效语言的观点，结合实例代码讲解了高性能C++编程的技术。
Industrial textiles textile science and technology 9
ed. by Jarmila svédová1990 年出版383 页ISBN：0444987541
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
A practical logic of cognitive systems volume 2 the reach of abduction insight and trial
dov m.gabbay and john woods2005 年出版476 页ISBN：044451791x
