@incollection{Mycroft_1980,
    doi = {10.1007/3-540-09981-6_19},
    url = {https://doi.org/10.1007%2F3-540-09981-6_19},
    year = {1980},
    publisher = {Springer Berlin Heidelberg},
    pages = {269--281},
    author = {Alan Mycroft},
    title = {The theory and practice of transforming call-by-need into call-by-value},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Mycroft_1980, doi = {10.1007/3-540-09981-6_19}, url = {https://doi.org/10.1007%2F3-540-09981-6_19}, year = {1980}, publisher = {Springer Berlin Heidelberg}, pages = {269--281}, author = {Alan Mycroft}, title = {The theory and practice of transforming call-by-need into call-by-value}, booktitle = {Lecture Notes in Computer Science} }