@InProceedings{Kleppe:1999:UML98,
  author =       "Anneke Kleppe and Jos Warmer and Steve Cook",
  title =        "Informal Formality? The {Object Constraint Language} and
                  Its Application in the {UML} Metamodel",
  pages =        "148--161",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998, Selected Papers",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1618",
  year =         "1999",
}