A complete equational axiomatization for prefix iteration
scientific article; zbMATH DE number 710253