@article{Abramsky_2000,
    doi = {10.1006/inco.2000.2930},
    url = {https://doi.org/10.1006%2Finco.2000.2930},
    year = {2000},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {163},
    number = {2},
    pages = {409--470},
    author = {Samson Abramsky and Radha Jagadeesan and Pasquale Malacaria},
    title = {Full Abstraction for {PCF}},
    journal = {Information and Computation}
}

@article{Abramsky_2000, doi = {10.1006/inco.2000.2930}, url = {https://doi.org/10.1006%2Finco.2000.2930}, year = {2000}, month = {dec}, publisher = {Elsevier {BV}}, volume = {163}, number = {2}, pages = {409--470}, author = {Samson Abramsky and Radha Jagadeesan and Pasquale Malacaria}, title = {Full Abstraction for {PCF}}, journal = {Information and Computation} }