\begin{thebibliography}{1}

\bibitem{Gersting.MSCS}
Judith~L. Gersting.
\newblock {\em Mathematical Structures for Computer Science}.
\newblock W. H. Freeman and Company, 4 edition, 1998.

\bibitem{Hofstadter.GEB}
Douglas~R. Hofstadter.
\newblock {\em G\"odel, {E}scher, {B}ach: an eternal golden braid}.
\newblock Basic Books Inc. Publishers, New York, 1979.

\bibitem{Polya.HSI}
G.~P{\'o}lya.
\newblock {\em How to solve it}.
\newblock Princeton University Press, Princeton, NJ, second edition, 1988.
\newblock A new aspect of mathematical method.

\end{thebibliography}
