\begin{thebibliography}{1}

\bibitem{logiweb}
K.~Grue.
\newblock Logiweb.
\newblock In Fairouz Kamareddine, editor, {\em Mathematical Knowledge
  Management Symposium 2003}, volume~93 of {\em Electronic Notes in Theoretical
  Computer Science}, pages 70--101. Elsevier, 2004.

\bibitem{Gordon79}
C.~P.~Wadsworth M.~J.~Gordon, A. J.~Milner.
\newblock {\em Edinburgh {LCF}, A mechanised logic of computation}, volume~78
  of {\em Lecture Notes in Computer Science}.
\newblock Springer-Verlag, 1979.

\end{thebibliography}
