<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>5965</REFNUM><AUTHORS><AUTHOR>Johnson,C.W.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>Proceedings of Design, Specification and Verification of InteractiveSystems 2001</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>Dept of Computing Science, University of Glasgow</PUBLISHER><LABEL>Johnson:2001:5965</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>