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