D. Harel, H. Kugler, und A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, Seite 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)
D. Dig. OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Seite 228--230. New York, NY, USA, ACM Press, (2005)
A. Alashqur, S. Su, und H. Lam. VLDB '89: Proceedings of the 15th international conference on Very large data bases, Seite 433--442. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (1989)
B. Nuseibeh, und S. Easterbrook. ICSE '00: Proceedings of the Conference on The Future of Software Engineering, Seite 35--46. New York, NY, USA, ACM Press, (Mai 2000)