1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer (1996)
2. Aboul-Hosn, K.: Programming with Private State. Honors Thesis, The Pennsylvania State University (December 2001), http://www.cs.cornell.edu/%7Ekamal/thesis.pdf
3. Lecture Notes in Computer Science;K. Aboul-Hosn,2006
4. Aboul-Hosn, K., Kozen, D.: Local variable scoping and Kleene algebra with tests. J. Log. Algebr. Program. (2007), doi:10.1016/j.jlap.2007.10.007
5. Abramsky, S., Honda, K., McCusker, G.: A fully abstract game semantics for general references. In: LICS 1998: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, pp. 334–344. IEEE Computer Society, Washington, DC, USA (1998)