No. 49 (1998): RS-49 A Cook’s Tour of Equational Axiomatizations for Prefix Iteration

Published: 1998-06-19

Articles