<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6114</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1988</YEAR><TITLE>Using Recursive Types to Reason about Hardware in Higerh Order Logic</TITLE><PLACE_PUBLISHED>Proceedings of the {IFIP} {WG} 10.2 Working Conference, Glasgow, July 1988 </PLACE_PUBLISHED><PUBLISHER>North-Holland</PUBLISHER><PAGES>27-50</PAGES><ISBN>135</ISBN><LABEL>Melham:1988:6114</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>