Axiomatizing prefix iteration with silent steps
scientific article; zbMATH DE number 930725