<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>7277</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR><AUTHOR>Turner,K.J.</AUTHOR></AUTHORS><YEAR>1995</YEAR><TITLE>Applying Formal Methods to Standard Development: the Open Distributed Processing Experience</TITLE><PLACE_PUBLISHED> </PLACE_PUBLISHED><PUBLISHER>Elsevier Science</PUBLISHER><PAGES>615-630</PAGES><LABEL>Sinnott:1995:7277</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>