Logic and Information Flow by Jan van Eijck