@book{192723,
	author = {Roscoe, A W.},
	title = {Understanding concurrent systems.},
	publisher = {Springer},
	year = {2010},
	address = {New Delhi},
	edition = {1}
}