1. P. Aczel, N. Mendler, A final coalgebra theorem, in: D.H. Pitt, D.E. Rydeheard, P. Dybjer, A.M. Pitts, A. Poigné (Eds.), Proceedings of the Third CTCS, Lecture Notes in Computer Sciences, Vol. 389, Springer, Berlin, 1989, pp. 357–365.
2. F. Bartels, A. Sokolova, E.P. de Vink, A hierarchy of probabilistic system types, in: H.P. Gumm (Ed.), Proceedings of the CMCS'03, ENTCS, Vol. 82, 2003.
3. M. Bernardo, Theory and application of extended Markovian process algebra, Ph.D. Thesis, University of Bologna, 1999.
4. P. D'Argenio, H. Hermanns, J.-P. Katoen, On generative parallel composition, in: Proceedings of the Probmiv'98, ENTCS, Vol. 22, Elsevier, Amsterdam, 1998.
5. Bisimulation for labelled Markov processes;Desharnais;Inform. Comput.,2002