Title: Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science)
Subjects: Computer programming, Computers, psychological aspects, Semantics