@InProceedings{Baar02,
  author =       {Thomas Baar},
  title =        {How to Ground Meta-Circular {OCL} Descriptions -- a Set-Theoretic Approach --},
  booktitle =    {Proceedings, Fourth Workshop on Rigorous Object-Oriented Methods, London},
  year =         {2002},
  editor =	 {T. Clark and A. Evans and K. Lano}
}