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 23, 2021. https://tidsskrift.dk/brics/article/view/19930.