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