Programs, Recursion and Unbounded Choice