Juan Roig, P., Alcaraz, S. and Gilly, K. 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.