Kong E. Cheng. Towards a formal model for incremental service specification and interaction management support. In Wiet Bouma, Hugo Velthuijsen, editors, Feature Interactions in Telecommunications Systems, May 8-10, 1994, Amsterdam, The Netherlands. pages 152-166, IOS Press, 1994.
Abstract is missing.