@inproceedings{Harmer,
    doi = {10.1109/lics.1999.782637},
    url = {https://doi.org/10.1109%2Flics.1999.782637},
    publisher = {{IEEE} Comput. Soc},
    author = {R. Harmer and G. McCusker},
    title = {A fully abstract game semantics for finite nondeterminism},
    booktitle = {Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. {PR}00158)}
}

@inproceedings{Harmer, doi = {10.1109/lics.1999.782637}, url = {https://doi.org/10.1109%2Flics.1999.782637}, publisher = {{IEEE} Comput. Soc}, author = {R. Harmer and G. McCusker}, title = {A fully abstract game semantics for finite nondeterminism}, booktitle = {Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. {PR}00158)} }