\begin{thebibliography}{CLRS01}

\bibitem[CLRS01]{clrs01}
T.~H. Cormen, C.~E. Leiserson, R.~L. Rivest, and C.~Stein.
\newblock {\em Introduction to Algorithms.}
\newblock MIT Press, 2001.

\bibitem[Pap94]{Papac}
Christos~H. Papadimitriou.
\newblock {\em Computational Complexity}.
\newblock Addison-Wesley, New York, 1994.

\end{thebibliography}
