1: \begin{thebibliography}{99}

2: \bibitem{bib:Fagin} Ronald Fagin, Generalized First-Order Spectra and Polynomial-Time Recognizable Sets, SIAM-AMS Proceedingn, Volume 7, 1974, From "Complexity of Computation" (ed. R. Karp).

3: \bibitem{bib:Knuth} Donald E. Knuth, The Art of Computer Programming, Volume 4, Fascicle 0: Introduction to Combinatorial Algorithms and Boolean Functions, (Addison-Wesley Professional, April 28, 2008) vi+240pp.

4: \end{thebibliography}

5: