"A Theory of Nondeterminism."

Richard Kennaway, C. A. R. Hoare (1980)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics