@book{4718,
	author = {Baeten, J. C. M. and Basten, T.},
	title = {Process Algebra :},
	publisher = {Cambridge University Press,},
	year = {2010.},
	address = {USA :},
	note = {Includes Index.}
}