1. Andova, S., Baeten, J.C.M., Willemse, T.A.C.: Complete axiomatisation of probabilistic branching bisimulation, CSR (to appear, 2006), preliminary version available at,
http://www.cs.ru.nl/timw/completeness.pdf
2. Andova, S., Willemse, T.A.C.: Branching bisimulation for probabilistic systems: characteristics and decidability. In: Baeten, J.C.M., Corradini, F. (eds.) Theor. Comp. Sci., vol. 356(3), pp. 325–355 (2006);
3. Also appeared as a CSR, University of Twente, TR-CTIT-05-08, 2005
4. Lecture Notes in Computer Science;S. Andova,2001
5. Andova, S., Baeten, J.C.M.: Alternative composition does not imply non-determinism. Bulletin of the European Association for Theoretical Computer Science 76, 125–127 (2002)