<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6100</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1991</YEAR><TITLE>A Mechanized Theory of the pi-calculus in {HOL}</TITLE><PLACE_PUBLISHED>Proceedings of the Second Workshop on Logical Frameworks </PLACE_PUBLISHED><PUBLISHER>University of Edinburgh</PUBLISHER><PAGES>219-237</PAGES><LABEL>Melham:1991:6100</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>