可满足性问题：算法和分析。
作者：Uwe Schöning和Jacobo Torán
Lehmanns Media，2013年
Das Erfüllbarkeitsproblem SAT:算法与分析
莱曼传媒，2012快速并行逼近的范例
作者：Josep Diaz、Maria J.Serna、Paul Spirakis和Jacobo Torán
剑桥大学出版社1997
图同构问题的结构复杂性
作者：约翰内斯·科布勒（Johannes Köbler）、乌维·施宁（Uwe Schöning）和雅各布·托兰（Jacobo Torán）
Birkhäuser 1993年
