DOI,IST REx ID,Title of publication
10.1007/3-540-44685-0_24,4632,Compositional methods for probabilistic systems