<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5566</REFNUM><AUTHORS><AUTHOR>Sage,M.</AUTHOR><AUTHOR>Johnson,C.W.</AUTHOR></AUTHORS><YEAR>1998</YEAR><TITLE>Pragmatic Formal Design: A Case Study of Integrating Formal Methods into the HCI Design Cycle</TITLE><PLACE_PUBLISHED> </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><LABEL>Sage:1998:5566</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>