A fully abstract semantics for a higher-order functional language with nondeterministic computation
scientific article; zbMATH DE number 1495177