Refinement-oriented probability for CSP (1995)

by Carroll Morgan, Annabelle McIver, Karen Seidel, J.W. Sanders