<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6112</REFNUM><AUTHORS><AUTHOR>Birtwistle,G.</AUTHOR><AUTHOR>Graham,B.</AUTHOR><AUTHOR>Schediwy,R.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1988</YEAR><TITLE>Hardware Verification by Formal Proof</TITLE><PLACE_PUBLISHED> </PLACE_PUBLISHED><PUBLISHER>Computer Science, University of Calgary</PUBLISHER><ISBN>88/328/40</ISBN><LABEL>Birtwistle:1988:6112</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>