@ARTICLE{Larsen&92a,
  KEY           = "Larsen\&92",
  AUTHOR        = "Peter Gorm Larsen and Nico Plat",
  TITLE         = "{Standards for Non-Executable Specification Languages}",
  JOURNAL       = "BCS Computer Journal",
  YEAR          = "1992",
  MONTH         = "December",
  VOLUME        = "35",
  NUMBER        = "6",
  PAGES         = "",
  SIZE          = "7",
  ANNOTE        = "",
  COMMENT       = "PGL"}