2 works on record
A Programming Approach to Computability
2011
A Basis for Theoretical Computer Science