1. Agrawal M. Kayal N. and Saxena N. 2002. PRIMES is in P To appear available at http://www.cse.iitk.ac.in/news/primality_v3.pdf.]] Agrawal M. Kayal N. and Saxena N. 2002. PRIMES is in P To appear available at http://www.cse.iitk.ac.in/news/primality_v3.pdf.]]
2. ASM Web. The ASM Michigan Web Page. Edited by James K. Huggins. URL: www.eecs. umich.edu/gasm.]] ASM Web. The ASM Michigan Web Page. Edited by James K. Huggins. URL: www.eecs. umich.edu/gasm.]]
3. The Logic of Choice;Blass A.;J. Symbolic Logic,2000
4. Choiceless Polynomial Time;Blass A.;Annals of Pure and Applied Logic,1999