D. Harel, H. Kugler, и A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, стр. 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, стр. 228--230. New York, NY, USA, ACM Press, (2005)
A. Alashqur, S. Su, и H. Lam. VLDB '89: Proceedings of the 15th international conference on Very large data bases, стр. 433--442. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (1989)
B. Nuseibeh, и S. Easterbrook. ICSE '00: Proceedings of the Conference on The Future of Software Engineering, стр. 35--46. New York, NY, USA, ACM Press, (мая 2000)