“Study on OSPF Algebraic Formal Modelling Using ACP” (2018) Elektronika ir Elektrotechnika, 24(4), pp. 77–83. doi:10.5755/j01.eie.24.4.21484.