"An Algebraic Theory of Recursive Definitions and Recursive Languages"

Eric G. Wagner (1971)
a service of Schloss Dagstuhl - Leibniz Center for Informatics