Title: On axiom systems for regular expressions and on equations involving language
Subjects: Formal languages