<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>6042</REFNUM><AUTHORS><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>1994</YEAR><TITLE>A Mechanized Theory of the pi-calculus in HOL</TITLE><PLACE_PUBLISHED>Nordic Journal of Computing. Vol 1, no 1 </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>50-76</PAGES><LABEL>Melham:1994:6042</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>