@article{McCusker_2000,
    doi = {10.1006/inco.1999.2845},
    url = {https://doi.org/10.1006%2Finco.1999.2845},
    year = {2000},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {160},
    number = {1-2},
    pages = {1--61},
    author = {Guy McCusker},
    title = {Games and Full Abstraction for {FPC}},
    journal = {Information and Computation}
}

@article{McCusker_2000, doi = {10.1006/inco.1999.2845}, url = {https://doi.org/10.1006%2Finco.1999.2845}, year = {2000}, month = {jul}, publisher = {Elsevier {BV}}, volume = {160}, number = {1-2}, pages = {1--61}, author = {Guy McCusker}, title = {Games and Full Abstraction for {FPC}}, journal = {Information and Computation} }