@ARTICLE{Elmstrom&94,
  KEY           = "Elmstr\o{}m\&94",
  AUTHOR        = "Ren\'e Elmstr\o{}m and Peter Gorm Larsen and Poul
                   B\o{}gh Lassen",
  TITLE         = "{The IFAD VDM-SL Toolbox: A Practical Approach to
                   Formal Specifications}",
  JOURNAL       = "ACM Sigplan Notices",
  YEAR          = "1994",
  MONTH         = "September",
  VOLUME        = "29",
  NUMBER        = "9",
  PAGES         = "77--80",
  SIZE          = "4",
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}