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