@book{BarwiseSeligman97,
  author	= {Barwise, Jon and Seligman, Jerry},
  title		= {Information flow: the logic of distributed systems},
  publisher	= {Cambridge University Press},
  year		= {1997},
  number	= {44},
  series	= {Cambridge Tracts in Theoretical Computer Science}
}