NEXPTIMEAddison-Wesley, 1994. ISBN 0-201-53082-1. Section 20.1, pg.492. Juris Hartmanis, Neil Immerman, Vivian Sewelson. Sparse Sets in NP-P: EXPTIME versus NEXPTIME. Information
複雜度類複雜度類大觀園 （页面存档备份，存于互联网档案馆）：一個巨大的複雜度類列表，專家級使用。 複雜度類架構圖，由Neil Immerman（英语：Neil Immerman）製作，展示複雜度類的階層架構與它們是如何定位的。 Garey, Michael R.（英语：Michael Garey）與David
最小不动点P（在多项式数量的计算时间内可计算的所有问题）精确的等价于可以用带有最小不动点的一阶逻辑所表达的语言的集合。 Kleene不动点定理 Immerman, Neil. Descriptive Complexity, 1999, Springer-Verlag. Libkin, Leonid. Elements
稀疏語言Journal on Computing volume 20, pp.471–483. 1991. Juris Hartmanis, Neil Immerman, Vivian Sewelson. Sparse Sets in NP-P: EXPTIME versus NEXPTIME. Information
EXPTIMEAddison-Wesley. 1994. ISBN 0201530821. Section 20.1, page 491. Juris Hartmanis, Neil Immerman, Vivian Sewelson. Sparse Sets in NP-P: EXPTIME versus NEXPTIME. Information