@article{Copello_2017,
    doi = {10.1016/j.tcs.2016.08.025},
    url = {https://doi.org/10.1016%2Fj.tcs.2016.08.025},
    year = {2017},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {685},
    pages = {65--82},
    author = {Ernesto Copello and Nora Szasz and {\'{A}}lvaro Tasistro},
    title = {Formal metatheory of the Lambda calculus using Stoughton{\textquotesingle}s substitution},
    journal = {Theoretical Computer Science}
}

@article{Copello_2017, doi = {10.1016/j.tcs.2016.08.025}, url = {https://doi.org/10.1016%2Fj.tcs.2016.08.025}, year = {2017}, month = {jul}, publisher = {Elsevier {BV}}, volume = {685}, pages = {65--82}, author = {Ernesto Copello and Nora Szasz and {\'{A}}lvaro Tasistro}, title = {Formal metatheory of the Lambda calculus using Stoughton{\textquotesingle}s substitution}, journal = {Theoretical Computer Science} }