Information flow : the logic of distributed systems / - Barwise, Jon. (Cambridge University Press, 1997)