Boudiaf, N. (2008), 'Automatic Translation of Ada-ECATNet Using Rewriting Logic', World Academy of Science, Engineering and Technology, Open Science Index 21, International Journal of Computer and Systems Engineering, 2(9), 3137 - 3145.