Logic and information flow - Eijck, J. van (MIT Press, 1994)