A family of rules for recursion removal
scientific article; zbMATH DE number 3538788