1. Abadi, M., Cardelli, L., and Curien, P.-L. Formal parametric polymorphism. TCS 121, 1–2 (1993), 9–58.
2. Abramsky, S., Honda, K., and McCusker, G. Fully abstract game semantics for general reference. In LICS’98 (1998), IEEE, pp. 334–344.
3. Abramsky, S., and Lenisa, M. Axiomatizing fully complete models for ML polymorphic types. In Proc. of MFCS’2000 (2000).
4. Lect Notes Comput Sci;S. Abramsky,2000
5. Berger, M. Towards Abstractions for Distributed Systems. PhD thesis, Imperial College, Department of Computing, 2002.