@article{Levy_2003,
    doi = {10.1016/s0890-5401(03)00088-9},
    url = {https://doi.org/10.1016%2Fs0890-5401%2803%2900088-9},
    year = {2003},
    month = {sep},
    publisher = {Elsevier {BV}},
    volume = {185},
    number = {2},
    pages = {182--210},
    author = {PaulBlain Levy and John Power and Hayo Thielecke},
    title = {Modelling environments in call-by-value programming languages},
    journal = {Information and Computation}
}

@article{Levy_2003, doi = {10.1016/s0890-5401(03)00088-9}, url = {https://doi.org/10.1016%2Fs0890-5401%2803%2900088-9}, year = {2003}, month = {sep}, publisher = {Elsevier {BV}}, volume = {185}, number = {2}, pages = {182--210}, author = {PaulBlain Levy and John Power and Hayo Thielecke}, title = {Modelling environments in call-by-value programming languages}, journal = {Information and Computation} }