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