(1)
Aceto, L.; Groote, J. F. A Complete Equational Axiomatization for MPA With String Iteration.
BRICS
1995
,
2
.