<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5840</REFNUM><AUTHORS><AUTHOR>Watt,D.A.</AUTHOR></AUTHORS><YEAR>2000</YEAR><TITLE>Formalizing the dynamic semantics of Java</TITLE><PLACE_PUBLISHED>Proceedings of 3rd International Workshop on Action Semanrics </PLACE_PUBLISHED><PUBLISHER>University of Aarhus</PUBLISHER><PAGES>1-18</PAGES><LABEL>Watt:2000:5840</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>