<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>8217</REFNUM><AUTHORS><AUTHOR>Han,L.</AUTHOR></AUTHORS><YEAR>2002</YEAR><TITLE>Application of the methodology combined formal method with Object-Oriented technology in E-commerce</TITLE><PLACE_PUBLISHED>Journal of Computer Engineering, 2002(29),</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>65~67</PAGES><LABEL>Han:2002:8217</LABEL></RECORD></RECORDS></XML>