@article{KODAMA_2008,
    doi = {10.1017/s0956796807006570},
    url = {https://doi.org/10.1017%2Fs0956796807006570},
    year = {2008},
    month = {may},
    publisher = {Cambridge University Press ({CUP})},
    volume = {18},
    number = {3},
    pages = {333--371},
    author = {KOICHI KODAMA and KOHEI SUENAGA and NAOKI KOBAYASHI},
    title = {Translation of tree-processing programs into stream-processing programs based on ordered linear type},
    journal = {Journal of Functional Programming}
}

@article{KODAMA_2008, doi = {10.1017/s0956796807006570}, url = {https://doi.org/10.1017%2Fs0956796807006570}, year = {2008}, month = {may}, publisher = {Cambridge University Press ({CUP})}, volume = {18}, number = {3}, pages = {333--371}, author = {KOICHI KODAMA and KOHEI SUENAGA and NAOKI KOBAYASHI}, title = {Translation of tree-processing programs into stream-processing programs based on ordered linear type}, journal = {Journal of Functional Programming} }