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