@BOOK\{IMM1978-02256,
    author       = "D. Bj{\o}rner and C. Jones",
    title        = "he Vienna Development Method: The Meta-Language",
    year         = "1978",
    volume       = "",
    number       = "",
    series       = "Lecture notes in computer science, vol. 61",
    publisher    = "S",
    address      = "",
    edition      = "",
    note         = "This was the first monograph on \{\$\backslash\$it Meta-IV",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2256-full.html"
}