@ARTICLE{Larsen&95c,
  KEY           = "Larsen\&95",
  AUTHOR        = "Peter Gorm Larsen and Wies\l{}aw Paw\l{}owski",
  TITLE         = "{The Formal Semantics of ISO VDM-SL}",
  JOURNAL       = "``Computer Standards and Interfaces''",
  YEAR          = "1995",
  MONTH         = "September",
  VOLUME        = "17",
  NUMBER        = "5--6",
  PAGES         = "585--602",
  SIZE          = "18",
  ANNOTE        = "",
  COMMENT       = "ADN"}