@conference {12833,
	title = {Testing equivalence as a bisimulation equivalence},
	booktitle = {Automatic Verification Methods for Finite State Systems},
	year = {1990},
	month = {1990///},
	pages = {11 - 23},
	author = {Cleaveland, Rance and Hennessy,M.}
}
