Logic and information flow - Eijck, Jan van, 1951- (MIT Press, 1994)