<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5745</REFNUM><AUTHORS><AUTHOR>Sage,M.,Johnson,C.W.,,</AUTHOR></AUTHORS><YEAR>1998</YEAR><TITLE>Pragmatic Formal Design:? A Case Study of Integrating Formal Methods into the HCI Development Cycle</TITLE><PLACE_PUBLISHED>Eurographics Workshop on the Design, Specification and Verification of Interactive Systems. </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>134-155</PAGES><LABEL>Sage:1998:5745</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>