@ARTICLE{Plat&92b,
  KEY           = "Plat\&92",
  AUTHOR        = "Nico Plat and Peter Gorm Larsen",
  TITLE         = "{An Overview of the ISO/VDM-SL Standard}",
  JOURNAL       = "Sigplan Notices",
  YEAR          = "1992",
  MONTH         = "August",
  SIZE          = "7",
  PAGES         = "76--82",
  VOLUME        = "27",
  NUMBER        = "8",
  ANNOTE        = "",
  COMMENT       = "PGL. I have the original source text"}