Aceto, L., and J. F. Groote. “A Complete Equational Axiomatization for MPA With String Iteration”.
BRICS Report Series
, vol. 2, no. 28, Jan. 1995, doi:10.7146/brics.v2i28.19930.