Information Flow: The Logic of Distributed Systems (1997)

by J Barwise, J Seligman