Collection of most of Dan’s papers on recursion