Axiomatizing the identities of binoid languages
scientific article; zbMATH DE number 5134096