On the algebraic structure of declarative programming languages
scientific article; zbMATH DE number 5624944
scientific article