Tilbage til artikeldetaljer A Complete Equational Axiomatization for MPA with String Iteration Download Download PDF