Keizo Kawata Akira Takura Tadashi Ohta On a Communication Software Generation Method from Communication Service Specifications Described by a Declarative Language. 116-122 1993 conf/icci/1993 ICCI db/conf/icci/icci1993.html#KawataTO93