Stepwise software development combining axiomatic and algorithmic approaches in algebraic specifications - Beierle, Christoph 1954-; Voß, Angelika (Universität <Kaiserslautern> / SEKI-Projekt: SEKI report, 1986)