1. Thomas H Cormen, Charles E Leiserson, Ronald L Rivest, Cliff Stein. Introduction to Algorithms. Second Edition, MIT Press and McGraw-Hill, 2001.
2. Hopcroft J E, Ullman J D. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 1979.
3. Manuel Blum, Silvio Micali. How to generate cryptographically strong sequences of pseudo random bits. In Proc. 23rd IEEE Symp. Foundations of Computer Science, 1982, pp.112–117.
4. Andrew Chi-Chih Yao. Theory and applications of trapdoor functions (extended abstract). In Proc. 23rd IEEE Symposium on Foundations of Computer Science, 1982, pp.80–91.
5. Cook S A. The complexity of theorem proving procedures. In Proc. 3rd ACM Symp. Theory of Computing, 1971, pp.151–158.