I. Borne, F. e Abreu, W. Meuter, und G. Galal. ECOOP 1998 Workshop Reader, Volume 1543 von Lecture Notes in Computer Science, Seite 44-71. Springer-Verlag, (1998)
I. Borne, S. Demeyer, und G. Galal. ECOOP 1999 Workshop Reader, Volume 1743 von Lecture Notes in Computer Science, Seite 57-79. Springer-Verlag, (1999)
I. Borne, G. Galal, H. Evans, und L. Andrade. ECOOP 2000 Workshop Reader, Volume 1964 von Lecture Notes in Computer Science, Seite 138-149. Springer-Verlag, (2000)
T. Mens, K. Mens, und P. Steyaert. Proceedings of the International Conference on Formal Methods Europe (FME), Volume 873 von Lecture Notes in Computer Science, Seite 326--345. Springer-Verlag, (1994)