S.: Axiomatizing probabilistic processes: ACP with generative probabilities (1995)

by J Bergstra, J Baeten, Smolka
Venue:Inf. Comput