Ingo Jörg Fritz Classen

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