@book{51785,
	author = {Mauw, S. and Veltink, G.J.},
	title = {Algebraic specification of communica-protocols},
	publisher = {CUP},
	year = {1993},
	series = {Cambridge tracts in theoretical computer science},
	address = {Cambridge}
}