1">Information
Flow: The Logic of Distributed Systems</a></span></i>. Cambridge Tracts
in Theoretical Computer Science <b>44</b>. Cambridge University Press.
</p>
<p class="MsoNormal" style="margin-top: 6pt; text-align: left;"
 align="left">Chang, C. C. and Keisler, H. J. 1973. <i><span style=""><a
 href="http://www.elsevier.nl/inca/publications/store/5/0/2/2/8/7/index.htt">Model
Theory</a></span></i>. Studies in Logic and the Foundations of
Mathematics <b>73</b>. Amsterdam: North Holland. </p>
<p class="Ms