<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>7279</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR></AUTHORS><YEAR>1998</YEAR><TITLE>Frameworks: The Future of Formal Software Development</TITLE><PLACE_PUBLISHED> Edition of Computer Standards and Interfaces Journal, Semantics of Specifications </PLACE_PUBLISHED><PUBLISHER>Elsevier Science</PUBLISHER><LABEL>Sinnott:1998:7279</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>