Juan Roig, Pedro, Salvador Alcaraz, and Katja Gilly. 2017. “Formal Specification of Spanning Tree Protocol Using ACP”. Elektronika Ir Elektrotechnika 23 (2):84-91. https://doi.org/10.5755/j01.eie.23.2.18005.