P. J. Roig, S. Alcaraz, K. Gilly, and C. Juiz, “Study on OSPF Algebraic Formal Modelling Using ACP”, ELEKTRON ELEKTROTECH, vol. 24, no. 4, pp. 77–83, Aug. 2018, doi: 10.5755/j01.eie.24.4.21484.