@article{BOV88,
    AUTHORlong = "Christoph Beierle and Walter Olthoff and Angelika Voss",
    AUTHOR = "C. Beierle and W. Olthoff and A. Voss",
    TITLE = {Qualit\"{a}tssicherung durch {P}rogrammverifikation und
             algebraische {M}ethoden in der {S}oftwareentwicklung},
    JOURNAL = "Informatik Spektrum",
    VOLUME = 11,
    PAGES = "292--302",
    MONTH = "December",
    YEAR = 1988
                          }