L. Aceto og J. F. Groote, “A Complete Equational Axiomatization for MPA with String Iteration”, BRICS, bd. 2, nr. 28, jan. 1995.