@article {DArgenioSanchezTerrafWolovick2012:MSCS,
	title = {Bisimulations for non-deterministic labelled Markov processes},
	journal = {Mathematical Structures in Computer Science},
	volume = {22},
	year = {2012},
	month = {2/2012},
	pages = {43-68},
	issn = {0960-1295},
	doi = {10.1017/S0960129511000454},
	author = {Pedro R. D{\textquoteright}Argenio and Pedro S{\'a}nchez Terraf and Nicol{\'a}s Wolovick}
}