Probabilistic Non-determinism (1990)

by C Jones