Diego Cazorla, Fernando Cuartero, ValentÃn Valero Ruiz, Fernando L. Pelayo, Juan José Pardo. Algebraic theory of probabilistic and nondeterministic processes. Journal of Logic and Algebraic Programming, 55(1-2):57-103, 2003. [doi]
Abstract is missing.