@CONFERENCE\{IMM1979-02295,
    author       = "D. Bj{\o}rner",
    title        = "The Vienna Development Method: Software Abstraction and Program Synthesis",
    year         = "1979",
    booktitle    = "Mathematical Studies of Information Processing",
    volume       = "",
    series       = "Lecture notes in computer scinece, vol. 75",
    editor       = "",
    publisher    = "",
    organization = "",
    address      = "",
    note         = "Proceedings of Conference at Research Institute for Mathematical Sciences (RIMS),  University of Kyoto, August 1978",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2295-full.html"
}