<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5736</REFNUM><AUTHORS><AUTHOR>JOHNSON,C.W.,,</AUTHOR></AUTHORS><YEAR>1996</YEAR><TITLE>Literate Specification: Using Design Rationale to Support Formal Methods in the Development of Human-Computer Interfaces</TITLE><PLACE_PUBLISHED>Journal: Human-Computer Interaction Journal. Lawrence Erlbaum Associates. Volume 11 No 4 </PLACE_PUBLISHED><PUBLISHER>Academic Press</PUBLISHER><PAGES>291-320</PAGES><ISBN>0737-0024</ISBN><LABEL>JOHNSON:1996:5736</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>