1. Abstract interpretation, logical relations, and Kan extensions;Abramsky;Journal of Logic and Computation,1990
2. Almeida, P. S., Balloon types: Controlling Sharing of state in data types, in: Proceedings ECOOP'97, volume 1241 of LNCS, Springer-Verlag, 1997, pp. 32–59.
3. Almeida, P. S., “Control of Object Sharing in Programming Languages,” Ph.D. thesis, University of London, Imperial Colledge, Department of Computing (1998).
4. Subtyping recursive types;Amadio;ACM Transactions on Programming Languages and Systems,1993
5. Arnold K. and J. Gosling, “The Java Programming Language,” Addison Wesley, 1996. URL: http://www.aw.com/cp/javaseries.html.