1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
2. Lecture Notes in Computer Science;E. Ábrahám,2005
3. Ábrahám, E., Grüner, A., Steffen, M.: Abstract interface behavior of object-oriented languages with monitors. Draft technical report, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel (January 2006)
4. Ábrahám, E., Grüner, A., Steffen, M.: Dynamic heap-abstraction for open, object-oriented systems with thread classes (extended abstract). In: Proceedings of CiE 2006. A longer version appeared as Technical Report 0601 of the Institute of Computer Science of the University Kiel, January 2006 (to appear, 2006)
5. Brinch Hansen, P.: Operating System Principles. Prentice-Hall, Englewood Cliffs (1973)