@ARTICLE\{IMM1991-01857,
    author       = "D. Bj{\o}rner and A. E. Haxthausen and K. Havelund",
    title        = "Formal, Model-oriented Software Development Methods -  From {VDM} to ProCoS \& from {RAISE} to LaCoS",
    year         = "1991",
    journal      = "Future Generation Computer Systems",
    volume       = "",
    editor       = "",
    number       = "7",
    publisher    = "North-Holland",
    note         = "Also in Proceedings from InfoJapan'90, 1990",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1857-full.html"
}