"Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science (No. 27))" - читать интересную книгу автора (Wim H. Hesselink)