Aceto, Luca, m.fl. “On a Question of Arto Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet Is Not Finitely Based”. BRICS Report Series, bd. 3, nr. 36, juni 1996, doi:10.7146/brics.v3i36.20018.