Roig, P. J.; Alcaraz, S.; Gilly, K.; Juiz, C. Study on OSPF Algebraic Formal Modelling Using ACP. ELEKTRON ELEKTROTECH 2018, 24, 77-83.