An algebraic theory of recursive definitions and recursive languagesEric G. Wagner1971POPL 1971Conference paper