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