C. Flanagan. POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Seite 245--256. New York, NY, USA, ACM Press, (2006)
S. McCamant, und M. Ernst. Proceedings of SAVCBS 2004: Specification and Verification of Component-Based Systems, Seite 47-54. Newport Beach, CA, USA), (Oktober 2004)
A. Simons, M. Stannett, K. Bogdanov, und W. Holcombe. Proceedings of 6th IASTED International Conference on Software Engineering and Applications, Cambridge, MA, (2002)
C. Fischer, und H. Wehrheim. Proceedings of AMAST 2000: International Conference on Algebraic Methodology And Software Technology, Volume 1816 von Lecture Notes in Computer Science, Springer Verlag, (2000)
M. Buchi, und W. Weck. Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)'98, Seite 362-373. ACM Press, (1998)
K. Hondt, P. Steyaert, und C. Lucas. Proceedings of the Second International Workshop on Component-Oriented Programming (WCOP'97), Seite 43--50. Turku Centre for Computer Science, (1997)