Aceto, Luca, og Jan Friso Groote. “A Complete Equational Axiomatization for MPA With String Iteration”. BRICS Report Series, bd. 2, nr. 28, januar 1995, doi:10.7146/brics.v2i28.19930.