\begin{thebibliography}{1}

\bibitem{armstrong:erlang}
Joe Armstrong.
\newblock {\em Programming Erlang}.
\newblock The Pragmatic Bookshelf, 2007.

\bibitem{bird.wadler:fp}
Richard Bird and Philip Wadler.
\newblock {\em Introduction to Functional Programming}.

\bibitem{gs:discretemaths}
David Gries and Fred B.Schneider.
\newblock {\em A logical approach to Discrete Mathematics}.
\newblock Springer-Verlag, 1993.

\bibitem{ada:rm-2007}
{ISO/IEC 8652:2007}.
\newblock {\em Ada Reference Manual}.
\newblock 2007.

\bibitem{nipkow:isabelle-tutorial}
Tobias Nipkow, Lawrence~C. Paulson, and Markus Wenzel.
\newblock {\em Isabelle {HOL}: A Proof Assistant for {H}igher-{O}rder {L}ogic}.
\newblock Springer-Verlag, 2007.

\bibitem{pierce:types-and-programs}
Benjamin~C. Pierce.
\newblock {\em Types and Programming Languages}.
\newblock MIT Press, 2002.

\bibitem{queinnec:lisp}
Christian Queinnec.
\newblock {\em Lisp {I}n {S}mall {P}ieces}.
\newblock Cambridge {U}niversity {P}ress, 1996.

\bibitem{rosen:discretemaths}
Kenneth Rosen.
\newblock {\em Discrete Mathematics}.

\bibitem{shapiro:prolog}
Leon Sterling and Ehud Shapiro.
\newblock {\em The Art of {P}rolog}.

\end{thebibliography}
