@article{Sangiorgi_1994,
    doi = {10.1006/inco.1994.1042},
    url = {https://doi.org/10.1006%2Finco.1994.1042},
    year = {1994},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {111},
    number = {1},
    pages = {120--153},
    author = {D. Sangiorgi},
    title = {The Lazy Lambda Calculus in a Concurrency Scenario},
    journal = {Information and Computation}
}

@article{Sangiorgi_1994, doi = {10.1006/inco.1994.1042}, url = {https://doi.org/10.1006%2Finco.1994.1042}, year = {1994}, month = {may}, publisher = {Elsevier {BV}}, volume = {111}, number = {1}, pages = {120--153}, author = {D. Sangiorgi}, title = {The Lazy Lambda Calculus in a Concurrency Scenario}, journal = {Information and Computation} }