CPO’s of measures for nondeterminism, Theoretical Computer Science 12 (1980)

by N Saheb-Djahromi