@article{stark-jalc-03,
   AUTHOR = "Stark, E. W.",
   TITLE = "On Behaviour Equivalence for Probabilistic {I/O} Automata
	    and its Relationship to Probabilistic Bisimulation",
   JOURNAL = "Journal of Automata, Languages and Combinatorics",
   VOLUME = 8,
   NUMBER = 2,
   PAGES = "361--395",
   YEAR = 2003
}