@book{19944,
	author = {A. W. Roscoe},
	title = {The Theory and practice of concurrency},
	publisher = {Prentice Hall,},
	year = {1998},
	address = {London,UK:}
}