Boudiaf, N.. "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, (2008), 2(9), 3137 - 3145.