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 April 26, 2024. https://tidsskrift.dk/brics/article/view/19930.