@book{4166,
	author = {Roscoe, A.W.},
	title = {Understanding concurrent systems},
	publisher = {Springer},
	year = {2010},
	address = {New York}
}