1. Nominal games and full abstraction for the nu-calculus;Abramsky,2004
2. S. Abramsky, A. Jung, Domain theory, in: Handbook of Logic in Computer Science, vol. 3, Clarendon Press, 1994, pp. 1–168.
3. The Lambda Calculus;Barendregt,1984
4. A new approach to abstract syntax with variable binding;Gabbay;Formal Aspects of Comput.,2002
5. Equivalence in functional languages with effects;Mason;J. Function. Program.,1991