<XML><RECORDS><RECORD><REFERENCE_TYPE>1</REFERENCE_TYPE><REFNUM>7850</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR></AUTHORS><YEAR>1997</YEAR><TITLE>An Architecture Based Approach to Specifying Distributed Systems in LOTOS and Z </TITLE><PLACE_PUBLISHED>PhD thesis, University of Stirling, Scotland 1997. </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>Sinnott:1997:7850</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>