@InProceedings{Egyed:2003:UML,
  author =       "Alexander Egyed",
  title =        "Compositional and Relational Reasoning during Class
                  Abstraction",
  pages =        "121--137",
  booktitle =    "{UML} 2003 - The Unified Modeling Language. Model
                  Languages and Applications. 6th International Conference,
                  San Francisco, {CA}, {USA}, October 2003, Proceedings",
  editor =       "Perdita Stevens and Jon Whittle and Grady Booch",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2863",
  year =         "2003",
}