@article{Sumii_2007,
    doi = {10.1016/j.tcs.2006.12.032},
    url = {https://doi.org/10.1016%2Fj.tcs.2006.12.032},
    year = {2007},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {375},
    number = {1-3},
    pages = {169--192},
    author = {Eijiro Sumii and Benjamin C. Pierce},
    title = {A bisimulation for dynamic sealing},
    journal = {Theoretical Computer Science}
}

@article{Sumii_2007, doi = {10.1016/j.tcs.2006.12.032}, url = {https://doi.org/10.1016%2Fj.tcs.2006.12.032}, year = {2007}, month = {may}, publisher = {Elsevier {BV}}, volume = {375}, number = {1-3}, pages = {169--192}, author = {Eijiro Sumii and Benjamin C. Pierce}, title = {A bisimulation for dynamic sealing}, journal = {Theoretical Computer Science} }