Information flow: the logic of distributed systems (1997)

by Jon Barwise, Jerry Seligman