<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5380</REFNUM><AUTHORS><AUTHOR>Johnson,C.W.</AUTHOR></AUTHORS><YEAR>1996</YEAR><TITLE>Literate Specification: Using Design Rationale To Support Formal Methods In The</TITLE><PLACE_PUBLISHED>Human-Computer Interaction Journal (Volume No 11) </PLACE_PUBLISHED><PUBLISHER>Academic Press</PUBLISHER><PAGES>291-320</PAGES><LABEL>Johnson:1996:5380</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>