Rui Qiao Yuan Wang Xinyan Gao Jinzhao Wu Operational semantics of probabilistic Kleene algebra with tests. 706-713 2008 ISCC http://dx.doi.org/10.1109/ISCC.2008.4625616 conf/iscc/2008 db/conf/iscc/iscc2008.html#QiaoWGW08