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