Stepwise software development combining axiomatic and algorithmic approaches in algebraic specifications - Beierle, Christoph 1954-; Voß, Angelika (1986)