Eijck, J. van. (1994). <i>Logic and information flow</i>. MIT Press.