Information flow: the logic of distributed systems (1997)

by J Barwise, J Seligman