Algebraic description of reusable software components - Wirsing, Martin 1948- (1988)