[1]
L. Aceto and J. F. Groote, “A Complete Equational Axiomatization for MPA with String Iteration”,
BRICS
, vol. 2, no. 28, Jan. 1995.