@CONFERENCE\{IMM1991-02323,
    author       = "D. Bj{\o}rner",
    title        = "Towards a Meaning of `{M'} in {VDM}",
    year         = "1991",
    pages        = "137-258",
    booktitle    = "Formal Description of Programming Concepts",
    volume       = "",
    series       = "{IFIP} State-of-the-Art Reports",
    editor       = "E.J. Neuhold and M. Paul",
    publisher    = "SV",
    organization = "",
    address      = "",
    note         = "An {IFIP} TC2 Seminar, Persepolis, Brasil",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2323-full.html"
}