L. Aceto and J. F. Groote, “A Complete Equational Axiomatization for MPA with String Iteration”, BRICS, vol. 2, no. 28, Jan. 1995.