@book{69590,
	author = {Barwise, Jon and Seligman, Jerry},
	title = {Information flow :},
	publisher = {Cambridge University Press,},
	year = {1997},
	series = {Cambridge tracts in theoretical computer science},
	address = {New York :}
}