Recursion Equations as a Programming Language (1982)

by D A Turner
Venue:in Functional Programming and its Applications