Synthesising recursive functions with side effects
scientific article; zbMATH DE number 3690752