1. Abadi M. and Cardelli L. (1996). A Theory of Objects. Monographs in Computer Science. Springer, Heidelberg
2. Ábrahám, E., de Boer, F.S., Bonsangue, M.M., Grüner, A., Steffen, M.: Observability, connectivity, and replay in a sequential calculus of classes. In: Bonsangue et al. [14], pp. 296–316. URL http://www.ifi.uio.no/~msteffe/downloadfa-fmco.pdf
3. Ábrahám, E., Bonsangue, M.M., de Boer, F.S., Steffen, M.: A structural operational semantics for a concurrent class calculus. Technical Report 0307, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel (2003). URL http://www.informatik.uni-kiel.de/reports/2003/0307.html
4. Ábrahám, E., Bonsangue, M.M., de Boer, F.S., Steffen, M.: Object connectivity and full abstraction for a concurrent calculus of classes. In: Li and Araki [28], pp. 37–51. URL http://www- omega.imag.fr/doc/d1000313_1/WP11-D115-313-V1-fa.p df
5. Ábrahám, E., Grüner, A., Steffen, M.: Abstract interface behavior of object-oriented languages with monitors. In: Gorrieri and Wehrheim [19], pp. 218–232. URL http://www.ifi.uio.no/~msteffe/ download06/monitors.pdf