%G VDM TOOL
@ARTICLE{Larsen&10a,
  KEY           = "Larsen\&10",
  AUTHOR        = "Peter Gorm Larsen and Nick Battle and Miguel Ferreira
                   and John Fitzgerald and Kenneth Lausdahl and Marcel
                   Verhoef",
  TITLE         = "{The Overture Initiative -- Integrating Tools for VDM}",
  JOURNAL       = "ACM Software Engineering Notes",
  YEAR          = "2010",
  MONTH         = "January",
  VOLUME        = "35",
  NUMBER        = "1",
  PAGES         = "",
  SIZE          = "6",
  ANNOTE        = "",
  COMMENT       = "We have the sources PGL"}