Nondeterminacy and recursion via stacks and games
scientific article; zbMATH DE number 540858
scientific article