@book{60678,
	author = {Roscoe, A.W},
	title = {Understanding concurrent systems},
	publisher = {Springer},
	year = {2010},
	series = {Texts in computer science},
	address = {Oxford}
}