<XML><RECORDS><RECORD><REFERENCE_TYPE>1</REFERENCE_TYPE><REFNUM>7282</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR><AUTHOR>Turner,K.J.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>Specification Architectures</TITLE><PLACE_PUBLISHED>Chapter 2, Part VII of Formal Methods for Object-Oriented Distributed Systems </PLACE_PUBLISHED><PUBLISHER>Cambridge University Press</PUBLISHER><PAGES>427-450</PAGES><LABEL>Sinnott:2001:7282</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>