Alexander Egyed. Compositional and Relational Reasoning during Class Abstraction. In Perdita Stevens, Jon Whittle, Grady Booch, editors, «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings. Volume 2863 of Lecture Notes in Computer Science, pages 121-137, Springer, 2003. [doi]
Abstract is missing.