<XML><RECORDS><RECORD><REFERENCE_TYPE>7</REFERENCE_TYPE><REFNUM>5407</REFNUM><AUTHORS><AUTHOR>Johnson,C.W.</AUTHOR></AUTHORS><YEAR>1998</YEAR><TITLE>Expanding The Role Of Formal Methods In CSCW Systems</TITLE><PLACE_PUBLISHED>Computer Supported Cooperative Work </PLACE_PUBLISHED><PUBLISHER>Wiley</PUBLISHER><PAGES>-</PAGES><LABEL>Johnson:1998:5407</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>