<XML><RECORDS><RECORD><REFERENCE_TYPE>31</REFERENCE_TYPE><REFNUM>7306</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR></AUTHORS><YEAR>1997</YEAR><TITLE>Technical Report on Formal Specification Techniques for Open Distributed Systems</TITLE><PLACE_PUBLISHED>ISO/IEC ? ITU-T Technical Report JTC1/SC33/WG7/N14466 </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>Sinnott:1997:7306</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>