Juan Roig, P. et al. 2017. Formal Specification of Spanning Tree Protocol Using ACP. Elektronika ir Elektrotechnika. 23, 2 (Apr. 2017), 84–91. DOI:https://doi.org/10.5755/j01.eie.23.2.18005.