Recursion Equations As A Programming Language. Functional Programming and its (1982)

by D A Turner