Programs, Recursion and Unbounded Choice by Wim H. Hesselink & Hesselink Wim H.