@conference {DBLP:conf/fossacs/DArgenioL12,
	title = {Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation},
	booktitle = {Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012},
	series = {Lecture Notes in Computer Science},
	volume = {7213},
	year = {2012},
	pages = {452-466},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-642-28729-9_30},
	author = {Pedro R. D{\textquoteright}Argenio and Lee, Matias D.}
}