<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>7286</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR><AUTHOR>Turner,K.J.</AUTHOR></AUTHORS><YEAR>1997</YEAR><TITLE>Specifying ODP Computational Objects in Z</TITLE><PLACE_PUBLISHED> Formal Methods for Open Object-Based Distributed Systems </PLACE_PUBLISHED><PUBLISHER>Chapman & Hall</PUBLISHER><PAGES>375-390</PAGES><LABEL>Sinnott:1997:7286</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>