ACETO, L.; GROOTE, J. A Complete Equational Axiomatization for MPA with String Iteration. BRICS Report Series, v. 2, n. 28, 28 Jan. 1995.