Command algebras, recursion and program transformation
scientific article; zbMATH DE number 4143419
scientific article