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