The McCarthy's recursion induction principle: ''oldy'' but ''goody''
scientific article; zbMATH DE number 3835324