1\begin{thebibliography}{99}
2
3\bibitem{HVusingHOL}
4A.~Camilleri, M.~Gordon, and T.~Melham.
5\newblock Hardware verification using higher-order logic.
6\newblock In D.~Borrione, editor, {\em Proceedings of the {IFIP} {WG} 10.2
7  Working Conference: From {HDL} Descriptions to Guaranteed Correct Circuit
8  Designs}, Grenoble, September 1986. North-Holland, Amsterdam (1987).
9\newblock Also: University of Cambridge Computer Laboratory, Technical Report
10  91, September 1986.
11
12\bibitem{description} % OK
13{\small DSTO} and {\small SRI} International,
14{\it The HOL System: DESCRIPTION}, (1991).
15
16\end{thebibliography}
17
18
19