A probabilistic powerdomain of evaluations (1989)

by Carroll Morgan, Annabelle McIver, Karen Seidel, JW Sanders C Jones, G Plotkin
Venue:In Proceedings of the IEEE 4th Annual Symposium on Logic in Computer Science