@article {12776,
	title = {Testing preorders for probabilistic processes},
	journal = {Automata, Languages and Programming},
	year = {1992},
	month = {1992///},
	pages = {708 - 719},
	author = {Cleaveland, Rance and Smolka,S. and Zwarico,A.}
}
