@article{Bezem_1985,
    doi = {10.2307/2274319},
    url = {https://doi.org/10.2307%2F2274319},
    year = {1985},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {50},
    number = {3},
    pages = {652--660},
    author = {Marc Bezem},
    title = {Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals},
    journal = {Journal of Symbolic Logic}
}

@article{Bezem_1985, doi = {10.2307/2274319}, url = {https://doi.org/10.2307%2F2274319}, year = {1985}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {50}, number = {3}, pages = {652--660}, author = {Marc Bezem}, title = {Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals}, journal = {Journal of Symbolic Logic} }