<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>6101</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1990</YEAR><TITLE>Abstraction Mechanism for Hardware Verification</TITLE><PLACE_PUBLISHED>Formal Verification of Hardware Design </PLACE_PUBLISHED><PUBLISHER>IEEE Computer Society Press</PUBLISHER><PAGES>30-49</PAGES><LABEL>Melham:1990:6101</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>