Luo, Gang Das, Anindya Bochmann, Gregor V. A Formal Model for Module Interconnection Languages - 88-101 p. Subjects--Topical Terms: Ccitt SdlCommunication SoftwareSoftware Testing