Refinement-Oriented Probability for CSP (1996)

by C Morgan, A McIver, K Seidel, J W Sanders
Venue:Formal Aspects of Computing