\begin{thebibliography}{DBP96}

\bibitem[DBP96]{dobbertin96}
Hans Dobbertin, Antoon Bosselaers, and Bart Preneel.
\newblock {RIPEMD}-160: A strengthened version of {RIPEMD}.
\newblock In {\em Fast Software Encryption}, pages 71--82, 1996.
\newblock \url{http://citeseer.nj.nec.com/dobbertin96ripemd.html}.

\bibitem[Men87]{mendelson}
E.~Mendelson.
\newblock {\em Introduction to Mathematical Logic}.
\newblock Wadsworth and Brooks, 3. edition, 1987.

\end{thebibliography}
