<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5803</REFNUM><AUTHORS><AUTHOR>Thomas, M.</AUTHOR></AUTHORS><YEAR>1994</YEAR><TITLE>A Proof of Incorrectness using LP: the Editing Problem from the Therac-25</TITLE><PLACE_PUBLISHED> High Integrity Systems Journal, Volume 1, Number 1 </PLACE_PUBLISHED><PUBLISHER>Oxford University Press</PUBLISHER><LABEL>Thomas:1994:5803</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>