E G Wagner
-
On the algebraic structure of declarative programming languages
Theoretical Computer Science