@InProceedings{Bradfield:2002:FASE,
  author =       "Julian C. Bradfield and Juliana K{\"u}ster Filipe and
                  Perdita Stevens",
  title =        "Enriching {OCL} Using Observational Mu-Calculus",
  pages =        "203--217",
  booktitle =    "Fundamental Approaches to Software Engineering, 5th
                  International Conference, FASE 2002, held as Part of the
                  Joint European Conferences on Theory and Practice of
                  Software, ETAPS 2002, Grenoble, France, April 8-12, 2002,
                  Proceedings",
  editor =       "Ralf-Detlef Kutsche and Herbert Weber",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "2306",
  year =         "2002",
}