Hesselink. Nondeterminacy and Recursion via Stacks and Games. Elsevier BV, 1994, doi:10.1016/0304-3975(92)00016-k.