Stepwise software development with algebraic specifications - Beierle, Christoph 1954-; Voss, Angelika (IWBS-Report, 1990)