N. Boudiaf,  Automatic Translation of Ada-ECATNet Using Rewriting Logic.   journal   = {International Journal of Computer and Systems Engineering}, [online]. World Academy of Science, Engineering and Technology.
    September 2008, vol. 21(9). 3137 - 3145
    [viewed 29 January 2020]. Available from: https://publications.waset.org/pdf/6213.