“Formal Specification of Spanning Tree Protocol Using ACP”. 2017. Elektronika Ir Elektrotechnika 23 (2): 84-91. https://doi.org/10.5755/j01.eie.23.2.18005.