@article{BeierleVoss91,
    AUTHOR = "C. Beierle and A. Voss",
    TITLE = "Stepwise Software Development: {C}ombining Axiomatic
             and Algorithmic Approaches in Algebraic Specifications",
    JOURNAL = "Technology and Science of Informatics",
    YEAR = 1991,
    VOLUME = 10,
    NUMBER = 1,
    PAGES = "35--51",
    MONTH = "January"       }