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)
T. Mens, и G. Galal. Workshop Reader European Conf. Object-Oriented Programming (ECOOP), том 2323 из Lecture Notes in Computer Science, стр. 150--164. Springer-Verlag, (2002)
T. Mens, и G. Galal. Workshop Reader European Conf. Object-Oriented Programming (ECOOP), том 2323 из Lecture Notes in Computer Science, стр. 150--164. Springer-Verlag, (2002)
T. Mens, и G. Galal. Workshop Reader European Conf. Object-Oriented Programming (ECOOP), том 2323 из Lecture Notes in Computer Science, стр. 150--164. Springer-Verlag, (2002)