@INPROCEEDINGS{Larsen&91b,
  KEY           = "Larsen\&91",
  AUTHOR        = "Peter Gorm Larsen, Jan van Katwijk, Nico Plat,
                   Kees Pronk, and Hans Toetenel",
  TITLE         = "{Towards an Integrated Combination of SA and VDM}",
  BOOKTITLE     = "{Structured Analysis and Formal Methods}",
  YEAR          = "1991",
  MONTH         = "June",
  SIZE          = "9",
  ANNOTE        = "",
  COMMENT       = "BIB. I have both a hardcopy and a softcopy of
                   this article (PGL)."}