@article{Asperti_1995,
    doi = {10.1016/0304-3975(94)00279-7},
    url = {https://doi.org/10.1016%2F0304-3975%2894%2900279-7},
    year = {1995},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {142},
    number = {2},
    pages = {277--297},
    author = {Andrea Asperti and Cosimo Laneve},
    title = {Paths, computations and labels in the {$\lambda$}-calculus},
    journal = {Theoretical Computer Science}
}

@article{Asperti_1995, doi = {10.1016/0304-3975(94)00279-7}, url = {https://doi.org/10.1016%2F0304-3975%2894%2900279-7}, year = {1995}, month = {may}, publisher = {Elsevier {BV}}, volume = {142}, number = {2}, pages = {277--297}, author = {Andrea Asperti and Cosimo Laneve}, title = {Paths, computations and labels in the {$\lambda$}-calculus}, journal = {Theoretical Computer Science} }