An Algebraic Specification Concept for Modules” (draft version), Report 8404, Institut fur Software und Theoretische Informatik, Technical Univ (1984)

by H EHRIC