ROIG, P. J. et al. Study on OSPF Algebraic Formal Modelling Using ACP. Elektronika ir Elektrotechnika, v. 24, n. 4, p. 77–83, 20 Aug.2018.