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 January 19, 2026. https://tidsskrift.dk/brics/article/view/19930.