Information flow : the logic of distributed systems - Barwise, Jon, 1942-2000 (Cambridge Tracts in Theoretical Computer Science ;, 1997)