On the specification of software components. - Michael Goedicke; Harald Schumann; Joachim Cramer (IWSSD, 1991)