@InProceedings{
Crnkovic&al:00,
Author = "I. Crnkovic and J. K\"{u}ster Filipe and M. Larsson and
          K.-K. Lau",
Title = "Object-Oriented Design Frameworks:
         Formal Specification and Some Implementation Issues",
Booktitle = "Databases and Information Systems:
             Fourth International Baltic Workshop", 

Editor = "J. Barzdins and A. \v{C}aplinskas",
Pages = "237-252"
Publisher = "Kluwer Academic",
Year = "2001"    }