JUAN ROIG, P.; ALCARAZ, S.; GILLY, K. Formal Specification of Spanning Tree Protocol Using ACP. Elektronika ir Elektrotechnika, v. 23, n. 2, p. 84–91, 20 Apr.2017.