Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics - Claßen, Ingo (Berlin, Techn. Univ., Fachbereich 20 - Informatik -, Diss., 1993, 1993)