A probabilistic powerdomain of evaluations (1989)

by C Jones, G D Plotkin
Venue:In: Logic in Computer Science, IEEE, Computer Science