Aceto, Luca, and Jan Friso Groote. “A Complete Equational Axiomatization for MPA With String Iteration”. BRICS Report Series 2, no. 28 (January 28, 1995). Accessed February 20, 2025. https://tidsskrift.dk/brics/article/view/19930.