@ARTICLE{Larsen&08,
  KEY           = "Larsen\&08",
  AUTHOR        = "Peter Gorm Larsen and John S.\ Fitzgerald and Steve Riddle",
  TITLE         = "{Practice-oriented courses in formal methods using VDM++}",
  JOURNAL       = "Formal Aspects of Computing",
  YEAR          = "2008",
  MONTH         = "February",
  VOLUME        = "DOI 10.1007/s00165-008-0068-5",
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}