TY  - SER
AU  - Luo, Gang
AU  - Das, Anindya
AU  - Bochmann, Gregor V.
TI  - A  Formal Model  for  Module Interconnection Languages
KW  - Ccitt Sdl
KW  - Communication Software
KW  - Software Testing
ER  -