@article{DAMIAN_2003,
    doi = {10.1017/s0956796803004702},
    url = {https://doi.org/10.1017%2Fs0956796803004702},
    year = {2003},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {13},
    number = {5},
    pages = {925--933},
    author = {DANIEL DAMIAN and OLIVIER DANVY},
    title = {{CPS} transformation of flow information, Part {II}: administrative reductions},
    journal = {Journal of Functional Programming}
}

@article{DAMIAN_2003, doi = {10.1017/s0956796803004702}, url = {https://doi.org/10.1017%2Fs0956796803004702}, year = {2003}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {13}, number = {5}, pages = {925--933}, author = {DANIEL DAMIAN and OLIVIER DANVY}, title = {{CPS} transformation of flow information, Part {II}: administrative reductions}, journal = {Journal of Functional Programming} }