A Cook's Tour of Equational Axiomatizations for Prefix Iteration.

Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir

Browse the full FOSSACS paper archive.