L. Aceto, W. J. Fokkink, and A. Ingólfsdóttir, “On a Question of Arto Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based”, BRICS, vol. 3, no. 36, Jun. 1996.