<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5565</REFNUM><AUTHORS><AUTHOR>Sage,M.</AUTHOR><AUTHOR>Johnson,C.W.</AUTHOR></AUTHORS><YEAR>1997</YEAR><TITLE>Interactors and Haggis: Executable Interface Specifications</TITLE><PLACE_PUBLISHED>Design, Specification and Verification of Interactive Systems '97 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><LABEL>Sage:1997:5565</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>