@CONFERENCE\{IMM1994-01798,
    author       = "H. Jifeng and C. A. R. Hoare and M. Fr{\"{a}}nzle and M. Müller-Olm and E. Olderog and M. Schenke and M. R. Hansen and A. P. Ravn and H. Rischel",
    title        = "Provably correct systems",
    year         = "1994",
    pages        = "288-335",
    booktitle    = "Formal Techniques in Real-Time and Fault-Tolerant Systems ({FTRTFT}  94)",
    volume       = "",
    series       = "Lecture Notes in Computer Science, vol. 863",
    editor       = "H. Langmaack, W.-P. de Roever, and J. Vytopil",
    publisher    = "Springer Verlag",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1798-full.html"
}