@inproceedings(AHM,
 author       = "S. Abramsky and K. Honda and G. McCusker",
 year         = "1998",
 title        = "A fully abstract games semantics for general references",
 booktitle    = "Proceedings of the 13th Annual Symposium on Logic In Computer Science, LICS '98",
 publisher    = "IEEE Press",
 doi          = "10.1109/LICS.1998.705669",
)
@inproceedings(AMV,
 author       = "S. Abramsky and G. McCusker",
 year         = "1998",
 title        = "Call-by-value Games",
 editor       = "M. Neilsen and W. Thomas",
 booktitle    = "Proceedings of CSL '97",
 publisher    = "Springer-{V}erlag",
 pages        = "1--17",
 doi          = "10.1007/BFb0028004",
)
@inproceedings(GRR,
 author       = "C. Gunter{, D. R\'emy, and J. Riecke}",
 year         = "1995",
 title        = "A generalization of exceptions and control in {ML} like languages",
 booktitle    = "Proceedings of the ACM Conference on Functional Programming and Computer Architecture",
 pages        = "12--23",
 doi          = "10.1145/224164.224173",
)
@article(HLPP,
 author       = "J. M. E. Hyland and P. B. Levy and G. D. Plotkin and J. Power",
 year         = "2007",
 title        = "Combining Algebraic effects with continuations",
 journal      = "Theoretical Computer Science",
 volume       = "375",
 number       = "1-3",
 pages        = "20--40",
 doi          = "10.1016/j.tcs2006.12.026",
)
@inproceedings(L,
 author       = "J. Laird",
 year         = "1997",
 title        = "Full abstraction for functional languages with control",
 booktitle    = "Proceedings of the {T}welfth International Symposium on Logic In Computer Science, LICS '97",
 publisher    = "IEEE Computer Society Press",
 doi          = "10.1109/LICS.1997.614931",
)
@phdthesis(LT,
 author       = "J. Laird",
 year         = "1998",
 title        = "A Semantic Analysis of Control",
 school       = "Department of Computer Science, University of Edinburgh",
)
@inproceedings(Lli,
 author       = "J. Laird",
 year         = "2001",
 title        = "A fully abstract game semantics of local exceptions",
 booktitle    = "Proceedings of LICS '01",
 publisher    = "IEEE Computer Society Press",
 doi          = "10.1109/LICS.2001.932487",
)
@inproceedings(LE,
 author       = "J. Laird",
 year         = "2002",
 title        = "Exceptions, Continuations and Macro-expressiveness",
 booktitle    = "Proceedings of ESOP '02",
 series       = "LNCS",
 volume       = "2305",
 publisher    = "Springer",
 doi          = "10.1007/3-540-54927-8$\_$10",
)
@inproceedings(MH,
 author       = "P. Malacaria{ and C. Hankin}",
 year         = "1998",
 title        = "Generalised Flowcharts and Games",
 booktitle    = "Proceedings of the 25$^{th}$ International Colloquium on Automata, Langugages and Programming",
 doi          = "10.1007/BFb0055067",
)
@phdthesis(McCT,
 author       = "G. McCusker",
 year         = "1996",
 title        = "Games and full abstraction for a functional metalanguage with recursive types",
 school       = "Imperial College London",
 note         = "Published by Cambridge University Press",
)
@techreport(MogC,
 author       = "E. Moggi",
 year         = "1988",
 title        = "Computational Lambda-Calculus and monads",
 type         = "Technical Report",
 number       = "ECS-LFCS-88-66",
 institution  = "University of Edinburgh Department of Computer Science",
)
@unpublished(ntex,
 author       = "Nikos Tzevelekos",
 year         = "2008",
 title        = "Full abstraction for nominal exceptions",
 note         = "Proc. Games and Logic in Programming Languages",
)