SDL : formal object-oriented language for communicating systems

Overview of the language basic SDL structural concepts additional concepts general lexical and syntax rules abstract data types interpretation models protocol specification with SDL syntax summary summary of graphical symbols.