<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6074</REFNUM><AUTHORS><AUTHOR>Johnson,C.W.</AUTHOR></AUTHORS><YEAR>2002</YEAR><TITLE>Proceedings of the Design, Specification and Verification of Interactive Systems 2001</TITLE><PLACE_PUBLISHED>Proceedings of the Design, Specification and Verification of Interactive Systems 2001 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><LABEL>Johnson:2002:6074</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>