@InProceedings{Bidoit:1999:UML,
  author =       "Michel Bidoit and Rolf Hennicker and Francoise Tort and
                  Martin Wirsing",
  title =        "Correct Realization of Interface Constraints with {OCL}",
  pages =        "399--415",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}