@article{MAN_1961__143_160860,
     author = {W.W. TAIT},
     title = {Nested {Recursion.}},
     journal = {Mathematische Annalen},
     pages = {236--250},
     publisher = {mathdoc},
     volume = {143},
     year = {1961},
     url = {http://geodesic.mathdoc.fr/item/MAN_1961__143_160860/}
}