Information Flow: the Logic of distributed systems, volume Cambridge Tracts in Theoretical Computer Science 44 (1997)

by J Barwise, J Seligman