@INPROCEEDINGS{Larsen06a,
  KEY           = "Larsen06",
  AUTHOR        = "Peter Gorm Larsen",
  TITLE         = "Two courses on VDM++ for Embedded Systems: Learning by Doing",
  BOOKTITLE     = "Formal Methods Educations Workshop",
  ADDRESS       = "Canada",
  YEAR          = "2006",
  MONTH         = "August",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}