Roig, P. J.; Alcaraz, S.; Gilly, K.; Juiz, C. Study on OSPF Algebraic Formal Modelling Using ACP. ELEKTRON ELEKTROTECH 2018, 24 (4), 77-83. https://doi.org/10.5755/j01.eie.24.4.21484.