Probabilistic nondeterminism. Monograph ECS-LFCS-90-105 (1990)

by C Jones