Yuxin Deng, Catuscia Palamidessi: Axiomatizations for Probabilistic Finite-State Behaviors. FoSSaCS 2005: 110-124