Formal series over sorted algebras
scientific article; zbMATH DE number 1792462