Equivalence of regular binoid expressions and regular expressions denoting binoid languages over free binoids
scientific article; zbMATH DE number 2111035