@book{34026,
	author = {Baeten, J. C. M.},
	title = {Process algebra : equational theories of communicating processes},
	publisher = {Cambridge},
	year = {2010},
	address = {New York},
	note = {Includes index.}
}