Title: Recursive functions in computer theory
First published: 1981