@article{S_rensen_1996,
    Author = {S{\o}rensen, M. H. and Glück, R. and Jones, N. D.},
    File = {A\_positive\_supercompiler - n.pdf},
    Journal = {Journal of Functional Programming},
    Month = {nov},
    Number = {6},
    Pages = {811--838},
    Publisher = {Cambridge University Press ({CUP})},
    Title = {A positive supercompiler},
    URL = {https://doi.org/10.1017/s0956796800002008},
    Volume = {6},
    Year = {1996},
    bdsk-url-1 = {https://doi.org/10.1017\%2Fs0956796800002008},
    bdsk-url-2 = {https://doi.org/10.1017/s0956796800002008},
    date-added = {2021-03-29 20:18:01 +0200},
    date-modified = {2021-03-29 20:18:01 +0200},
    doi = {10.1017/s0956796800002008}
}

@article{S_rensen_1996, Author = {S{\o}rensen, M. H. and Glück, R. and Jones, N. D.}, File = {A_positive_supercompiler - n.pdf}, Journal = {Journal of Functional Programming}, Month = {nov}, Number = {6}, Pages = {811--838}, Publisher = {Cambridge University Press ({CUP})}, Title = {A positive supercompiler}, URL = {https://doi.org/10.1017/s0956796800002008}, Volume = {6}, Year = {1996}, bdsk-url-1 = {https://doi.org/10.1017\%2Fs0956796800002008}, bdsk-url-2 = {https://doi.org/10.1017/s0956796800002008}, date-added = {2021-03-29 20:18:01 +0200}, date-modified = {2021-03-29 20:18:01 +0200}, doi = {10.1017/s0956796800002008} }