Recursion equations as a programming language (1982)

by D Turner