<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6093</REFNUM><AUTHORS><AUTHOR>Camilleri,A.</AUTHOR><AUTHOR>Gordon,M.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1986</YEAR><TITLE>Hardware Verification Using Higher-Order Logic</TITLE><PLACE_PUBLISHED> </PLACE_PUBLISHED><PUBLISHER>University of Cambridge</PUBLISHER><ISBN>91</ISBN><LABEL>Camilleri:1986:6093</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>