Barwise Jon and Seligman Jerry. Information flow. The logic of distributed systems . Cambridge tracts in theoretical computer science, no. 44. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xv + 274 pp.