Recursion Equations as a Programming Language (1982)

by David A Turner
Venue:Functional Programming and its Applications: An Advanced