Aceto, Luca, and Jan Friso Groote. 1995. “A Complete Equational Axiomatization for MPA With String Iteration”.
BRICS Report Series
2 (28). https://doi.org/10.7146/brics.v2i28.19930.