SDL-TRAN - An interactive generator for formal description language SDL.

Yaoxue Zhang Hua Chen Yue Zhang Guoli Liu SDL-TRAN - An interactive generator for formal description language SDL. 49-60 1996 11 J. Comput. Sci. Technol. 1 http://dx.doi.org/10.1007/BF02943521 db/journals/jcst/jcst11.html#ZhangCZL96