W. Phillips, and N. Graham. Intl Workshop on Interactive Systems - Design, Specification, and
Verification, page 92--106. Funchal, Madeira Island, Portugal, (June 2003)
T. Mens, and G. Galal. Workshop Reader European Conf. Object-Oriented Programming (ECOOP), volume 2323 of Lecture Notes in Computer Science, page 150--164. Springer-Verlag, (2002)
T. Mens, and G. Galal. Workshop Reader European Conf. Object-Oriented Programming (ECOOP), volume 2323 of Lecture Notes in Computer Science, page 150--164. Springer-Verlag, (2002)