Aceto, L., and J. 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.