Boudiaf, N. , Chaoui, A.. "Double Reduction of Ada-ECATNet Representation using Rewriting Logic". World Academy of Science, Engineering and Technology, Open Science Index 22, International Journal of Computer and Systems Engineering, (2008), 2(10), 3557 - 3563.