@book{5961,
	author = {Baeten, J. C. M. and Basten, Twan.},
	title = {Process algebra :},
	publisher = {Cambridge University Press,},
	year = {2010.},
	series = {Cambridge tracts in theoretical computer science ;},
	address = {Cambridge ;}
}