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