@ARTICLE\{IMM1992-02330, author = "D. Bj{\o}rner and A. E. Haxthausen and K. Havelund", title = "Formal, Model-oriented Software Development Methods: From {VDM} to ProCoS, and from {RAISE} to LaCoS", year = "1992", journal = "Future Generation Computer Systems", volume = "", editor = "", number = "", publisher = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/2330-full.html" }