1. Algorithmic games semantics: a tutorial introduction;Abramsky,2001
2. S. Abramsky, D.R. Ghica, A.S. Murawski, C.-H.L. Ong, Applying game semantics to compositional software modelling and verification, in: Proc. TACAS, Lecture Notes in Computer Science, Vol. 2988, Springer, Berlin, 2004, pp. 421–435.
3. Nominal games and full abstraction for the nu-calculus;Abramsky,2004
4. Games and full abstraction for the lazy lambda calculus;Abramsky,1995
5. S. Abramsky, G. McCusker, Call-by-value games, in: Proc. CSL, Lecture Notes in Computer Science, Vol. 1414, Springer, Berlin, 1997, pp. 1–17.