, ,
north-holland
Information Processing Letters

Fokkink, W. (1994). A complete equational axiomatization for prefix iteration. Information Processing Letters, 52(6), 333–337.