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