@INPROCEEDINGS{Larsen&91e,
  KEY           = "Larsen\&91",
  AUTHOR        = "Peter Gorm Larsen, Jan van Katwijk, Nico Plat,
                   Kees Pronk, and Hans Toetenel",
  TITLE         = "{SVDM: An Integrated Combination of SA and VDM}",
  BOOKTITLE     = "{Methods Integration Conference}",
  YEAR          = "1991",
  MONTH         = "September",
  SIZE          = "20",
  ANNOTE        = "",
  COMMENT       = "BIB. I have both a hardcopy and a softcopy of
                   this article (PGL)."}