Pierre Collette: Application of the Composition Principle to Unity-like Specifications. TAPSOFT 1993: 230-242