\begin{thebibliography}{99}

\bibitem{description} % OK
University of Cambridge, {\small DSTO} and {\small SRI} International, 
{\it The HOL System: DESCRIPTION}, (1991).

\bibitem{melham} % OK
T.F.\ Melham, `Automating Recursive Type Definitions 
in Higher Order Logic',
in: {\it Current Trends in Hardware Verification and
Automated Theorem Proving\/}, edited by G.\ Birtwistle 
and P.A.\ Subrahmanyam
(Springer-Verlag, 1989), pp.\ 341--386.

\end{thebibliography}


