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