@book{18232,
	author = {Raynal, M.},
	title = {Algorithms for mutual exclusion},
	publisher = {MIT Press},
	year = {1986},
	address = {Cambridge, Mass.},
	edition = {First MIT Press edition}
}