Algebraic theory of probabilistic and nondeterministic processes | Publicación