A pragmatic approach to the algebraic specification of software modules - Lockemann, Peter C. 1935-; Mayr, Heinrich Christian 1948-; Dittrich, Klaus R. 1950-2007 (Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht, 1979)