@InProceedings{BHSS00,
  author        = {Thomas Baar and Reiner H\"ahnle and Theo Sattler and
                  Peter H. Schmitt},
  title         = {{E}ntwurfsmustergesteuerte {E}rzeugung von
                   {OCL}-{C}on\-straints},
  booktitle     = {Informatik 2000, 30.\ Jahrestagung der Gesellschaft f\"ur Infomatik},
  editor        = {K. Mehlhorn and G. Snelting},
  month         =  sep,
  pages         = {389--404},
  publisher     = {Springer},
  isbn_issn          = "3-540-67880-8",
  year          = {2000},                 
}