Information Flow. The Logic of Distributed Systems (1997)

by Jon Barwise, Jerry Seligman