Logic and information flow - Eijck, J. van (Jan); Visser, Albert (MIT Press, 1994)