Eijck, J. van. 1994. <i>Logic and Information Flow</i>. Cambridge, Mass: MIT Press.