\begin{thebibliography}{VH04}

\bibitem[VH04]{vanRoy-Haridi04}
Peter {Van Roy} and Seif Haridi.
\newblock {\em Concepts, Techniques, and Models of Computer Programming}.
\newblock The MIT Press, Cambridge, Mass., 2004.

\end{thebibliography}
