No. 5 (1995): RS-05 A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Published: 1995-01-05