Composition of type specifications exhibiting the interactive behaviourстатья