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