<XML><RECORDS><RECORD><REFERENCE_TYPE>1</REFERENCE_TYPE><REFNUM>6037</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR><AUTHOR>Gordon,M.J.C.</AUTHOR></AUTHORS><YEAR>1993</YEAR><TITLE>Introduction to HOL: A theorem proving environment for higher order logic</TITLE><PLACE_PUBLISHED> </PLACE_PUBLISHED><PUBLISHER>Cambridge University Press</PUBLISHER><ISBN>0-521-44189-7</ISBN><LABEL>Melham:1993:6037</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>