Title: Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics