Information flow: the logic of distributed systems (1997)

by J Barwise, J Seligman
Venue:Tracts in Theoretical Computer Science