@INPROCEEDINGS{Larsen&91,
  KEY           = "Larsen\&91",
  AUTHOR        = "Peter Gorm Larsen and Poul B\o{}gh Lassen",
  TITLE         = "{An Executable Subset of Meta-IV with Loose Specification}",
  BOOKTITLE     = "{VDM '91: Formal Software Development Methods}",
  ORGANIZATION  = "VDM Europe",
  PUBLISHER     = "Springer-Verlag",
  YEAR          = "1991",
  MONTH         = "March",
  SIZE          = "15",
  ANNOTE        = "",
  COMMENT       = "BIB. PGL"}