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