<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6127</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1992</YEAR><TITLE>A Mechanized Theory of the pi-calculus in {HOl}</TITLE><PLACE_PUBLISHED> </PLACE_PUBLISHED><PUBLISHER>University of Cambridge</PUBLISHER><ISBN>244</ISBN><LABEL>Melham:1992:6127</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>