A mathematical semantics for a nondeterministic typed lambda-calculus
semantics of nondeterministic algorithms
scientific article; zbMATH DE number 3723841