@InProceedings{Overgaard:2000:FASE,
  author =       "Gunnar {\"O}vergaard",
  title =        "Formal Specification of Object-Oriented Meta-Modelling",
  booktitle =    "Proc. Fundamental Approaches to Software Engineering
                  (FASE 2000), Berlin, Germany",
  year =         "2000",
  editor =       "Tom Maibaum",
  volume =       "1783",
  series =       "LNCS",
  publisher =    "Springer",
  isbn =         "3-540-67261-3",
}