<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>7287</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR><AUTHOR>Turner,K.J.</AUTHOR></AUTHORS><YEAR>1997</YEAR><TITLE>Type Checking in Distributed Systems: a Complete Model and its Z Specification</TITLE><PLACE_PUBLISHED> Open Distributed Processing and Distributed Platforms </PLACE_PUBLISHED><PUBLISHER>Chapman & Hall</PUBLISHER><PAGES>85-98</PAGES><LABEL>Sinnott:1997:7287</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>