Groote, Jan Friso

• BRICS Report Series No. 28 (1995): RS-28 A Complete Equational Axiomatization for MPA with String Iteration - Articles
  A Complete Equational Axiomatization for MPA with String Iteration
  Abstract  PDF