@incollection{Dennis_Jones_1984,
    doi = {10.1007/bfb0099482},
    url = {https://doi.org/10.1007%2Fbfb0099482},
    year = {1984},
    publisher = {Springer Berlin Heidelberg},
    pages = {117--128},
    author = {E. C. Dennis-Jones and S. S. Wainer},
    title = {Subrecursive hierarchies via direct limits},
    booktitle = {Computation and Proof Theory}
}

@incollection{Dennis_Jones_1984, doi = {10.1007/bfb0099482}, url = {https://doi.org/10.1007%2Fbfb0099482}, year = {1984}, publisher = {Springer Berlin Heidelberg}, pages = {117--128}, author = {E. C. Dennis-Jones and S. S. Wainer}, title = {Subrecursive hierarchies via direct limits}, booktitle = {Computation and Proof Theory} }