@InProceedings{Schmitt2001,
  author        = {Peter H. Schmitt},
  title         = {A Model Theoretic Semantics of {OCL}},
  booktitle     = {Proceedings, IJCAR Workshop on Precise Modelling and
                   Deduction for Object-oriented Software Development,
                   Siena, Italy},
  editor        = {B. Beckert and R. France and R. H\"ahnle and B. Jacobs},
  publisher     = {Technical Report DII 07/01, Dipartimento di Ingegneria 
                   dell'Informazione, Universit\`a degli Studi di Siena},
  pages         = {43--57},
  year          = {2001}
}