@INCOLLECTION\{IMM1980-02303,
    author       = "D. Bj{\o}rner",
    title        = "Formal Description of Programming Concepts: a Software Engineering Viewpoint",
    year         = "1980",
    pages        = "1-21",
    booktitle    = "",
    volume       = "",
    number       = "",
    series       = "Lecture notes, vol. 88",
    publisher    = "Springer",
    address      = "",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2303-full.html"
}