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