Termination of nested and mutually recursive algorithms
scientific article; zbMATH DE number 1062580