@InProceedings{Gogolla:1998:WADT,
  author =       "Martin Gogolla and Mark Richters",
  title =        "On Combining Semi-Formal and Formal Object Specification
                  Techniques",
  booktitle =    "Recent trends in algebraic development techniques: 12th
                  international workshop, WADT'97, Tarquinia, Italy, June
                  3--7, 1997: selected papers",
  year =         "1998",
  editor =       "Francesco Parisi-Presice",
  volume =       "1376",
  series =       "LNCS",
  publisher =    "Springer",
  isbn =         "3-540-64299-4",
}