@ARTICLE{Fitzgerald&08a,
  KEY           = "Fitzgerald\&08",
  AUTHOR        = "John Fitzgerald and Peter Gorm Larsen and Shin Sahara",
  TITLE         = "{VDMTools: Advances in Support for Formal Modeling in VDM}",
  JOURNAL       = "Sigplan Notices",
  YEAR          = "2008",
  MONTH         = "February",
  VOLUME        = "43",
  NUMBER        = "2",
  PAGES         = "3--11",
  SIZE          = "8",
  ANNOTE        = "",
  COMMENT       = "PGL I have the sources"}