Juan Roig, P., Alcaraz, S. and Gilly, K. (2017) “Formal Specification of Spanning Tree Protocol Using ACP”, Elektronika ir Elektrotechnika, 23(2), pp. 84-91. doi: 10.5755/j01.eie.23.2.18005.