@article{CM_1977__35_1_3_0,
     author = {Feferman, Solomon},
     title = {Recursion in total functionals of finite type},
     journal = {Compositio Mathematica},
     pages = {3--22},
     publisher = {Noordhoff International Publishing},
     volume = {35},
     number = {1},
     year = {1977},
     mrnumber = {485282},
     zbl = {0365.02030},
     language = {en},
     url = {http://www.numdam.org/item/CM_1977__35_1_3_0/}
}