“Study on OSPF Algebraic Formal Modelling Using ACP”. Elektronika Ir Elektrotechnika, vol. 24, no. 4, Aug. 2018, pp. 77-83, https://doi.org/10.5755/j01.eie.24.4.21484.