@CONFERENCE\{IMM2005-04174,
    author       = "J. P. Nielsen and J. K. Hansen and H. (supervised by) Bruun and A. E. (supervised by) Haxthausen",
    title        = "Designing a Flexible Kernel Providing {VDM}++ Support for Eclipse",
    year         = "2005",
    month        = "jul",
    keywords     = "VDM++, Eclipse",
    booktitle    = "Overture Workshop at Formal Methods Symposium {FM'}05 in Newcastle upon Tyne, {UK}",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "",
    organization = "",
    address      = "",
    note         = "The work has been supervised by Hans Bruun (IMM),  Anne Haxthausen (IMM) and Peter Gorm Larsen (Systematic)",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4174-full.html"
}