@INPROCEEDINGS{Wu94,
	author = "S.-H. Wu and S. A. Smolka and E. W. Stark",
	title = "Composition and Behaviors of Probabilistic
		{I/O} Automata",
	booktitle = "Proceedings of CONCUR~'94 --- Fifth International
		Conference on Concurrency Theory",
	address = "Uppsala, Sweden",
	month = aug,
	year = 1994
	}

@article{WSS97,
	author = "S.-H. Wu and S. A. Smolka and E. W. Stark",
	title = "Composition and Behaviors of Probabilistic
		{I/O} Automata",
	journal = "Theoretical Computer Science",
	volume = 176,
	number = "1-2",
	pages = "1-38",
	year = 1997
}