空间复杂度[2021-08-11], MR 0961049, doi:10.1137/0217058, (原始内容 (PDF)存档于2012-02-07) Szelepcsényi, Róbert, The method of forcing for nondeterministic automata, Bulletin of
哥德尔奖5941 , ISSN 1095-7111, doi:10.1137/0217058, (原始内容存档 (PDF)于2012-02-07) Szelepcsényi, R., The method of forced enumeration for nondeterministic automata (PDF)