Noppadol Maneerat, Ruttikorn Varakulsiripunth, Bhed Bahadur Bista, Kaoru Takahashi, Yasushi Kato, Norio Shiratori. Composition of Service and Protocol Specifications in Asynchronous Communication System. IEICE Transactions, 87-D(10):2306-2317, 2004. [doi]