@book{49186,
	author = {Queiroz, Ruy J. G. B. de. and ebrary, Inc.},
	title = {Logic for concurrency and synchronisation},
	publisher = {Kluwer Academic Publishers,},
	year = {c2003.},
	series = {Trends in logic ;},
	address = {Dordrecht ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10067496}
}