Nondeterminism and recursion via games and stacks, Theoretical Computer Science 124 (1994)

by W H Hesselink