Title: Probabilistic non-determinism
Subjects: Probabilities, Data processing, Programming languages (Electronic computers), Semantics