No. 28 (1995): RS-28 A Complete Equational Axiomatization for MPA with String Iteration

Published: 1995-01-28