<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6115</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1987</YEAR><TITLE>Abstraction Mechanisms for Hardware Verification</TITLE><PLACE_PUBLISHED> </PLACE_PUBLISHED><PUBLISHER>University of Cambridge</PUBLISHER><PAGES>267-291</PAGES><ISBN>106</ISBN><LABEL>Melham:1987:6115</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>