Scrap Specifications December 2010
Conditional Probabilities over Probabilistic and Nondeterministic Systems M. E. Andrés and P. van Rossum Radboud Universiteit Nijmegen, The Netherlands.
Scrap Specifications