1. CCTT Specification and Description Language (SDL);Z.IOO,1994
2. Design Issues of RASTA SDL-92 Translator, in SDL'95 with MSC in CASE;Mansurov,1995-1995
3. Tool Support for Algebraic Specifications of Data in SDL-92, in Formal Description Techniques IX: Theory, application and tools;Mansurov,1996
4. Design and Optimization of High-Performance Protocols with the DO-IT Toolbox, in Formal Description Techniques IX: Theory, application and tools;Mitschele-Thiel,1996
5. A Development Method for SDL-92 Specifications Based on OMT, in SDL'95 with MSC in CASE;Witaszek,1995