A probabilistic powerdomain of evaluations (1989)

by C Jones, G Plotkin
Venue:In Proceedings 4 th Annual Symposium on Logic in Computer Science, Asilomar