Wim H. Hesselink

• Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science)
• Programs, recursion, and unbounded choice
• Algebraic Groups. Utrecht 1986