<XML><RECORDS><RECORD><REFERENCE_TYPE>31</REFERENCE_TYPE><REFNUM>6125</REFNUM><AUTHORS><AUTHOR>Malham,T.F.</AUTHOR></AUTHORS><YEAR>1989</YEAR><TITLE>Formalizing Abstration Mechanisms for Hardware Verification in Higher Order Logic</TITLE><PLACE_PUBLISHED> </PLACE_PUBLISHED><PUBLISHER>Cambridge University Press</PUBLISHER><LABEL>Malham:1989:6125</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>