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