@INPROCEEDINGS{Frohlich&96,
  KEY           = "Fr{\"o}hlich\&96",
  AUTHOR        = "Brigitte Fr{\"o}hlich and Peter Gorm Larsen",
  EDITOR        = "Marie-Claude Gaudel and Jim Woodcock",
  TITLE         = "{Combining VDM-SL Specifications with C++ Code}",
  BOOKTITLE     = "FME'96: Industrial Benefit and Advances in Formal Methods",
  PUBLISHER     = "Springer-Verlag",
  YEAR          = "1996",
  MONTH         = "March",
  PAGES         = "179--194",
  ANNOTE        = "",
  COMMENT       = "I have a copy PGL"}