@INPROCEEDINGS{Lausdahl&09,
  KEY           = "Lausdahl\&09",
  AUTHOR        = "Kenneth Lausdahl and Hans Kristian Agerlund Lintrup and 
                   Peter Gorm Larsen",
  TITLE         = "{Connecting UML and VDM++ with Open Tool Support}",
  BOOKTITLE     = "Formal Methods 09",
  YEAR          = "2009",
  MONTH         = "November",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}