@ARTICLE{Larsen94c,
  KEY           = "Larsen94",
  AUTHOR        = "Peter Gorm Larsen",
  TITLE         = "Response to ``The Formal Specification of Safety 
                   Requirements for Storing Explosives''",
  JOURNAL       = "Formal Aspects of Computing",
  YEAR          = "1994",
  VOLUME        = "6",
  NUMBER        = "5",
  PAGES         = "565--568",
  SIZE          = "4",
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}