Information flow: The logic of distributed systems (1997)

by J Barwise, J Seligman