A probabilistic powerdomain of evaluations (1989)

by C Jones, G D Plotkin
Venue:In: Proceedings of the Fourth Annual Symposium on Logic in Computer Science