(1)
Aceto, L.; Groote, J. F. A Complete Equational Axiomatization for MPA With String Iteration. BRICS 1995, 2.