M. Kutar, C. Britton, and C. Nehaniv. Intl Workshop on Interactive Systems - Design, Specification, and
Verification, page 51+. Limerick, Ireland, (June 2000)
S. Demeyer, T. Mens, and M. Wermelinger. IWPSE '01: Proceedings of the 4th International Workshop on Principles
of Software Evolution, page 174--177. New York, NY, USA, ACM Press, (2001)