Aceto, Luca, and Jan Friso Groote. “A Complete Equational Axiomatization for MPA With String Iteration”. BRICS Report Series, vol. 2, no. 28, Jan. 1995, doi:10.7146/brics.v2i28.19930.