Formal Specification of Spanning Tree Protocol Using ACP. Elektronika ir Elektrotechnika, [S. l.], v. 23, n. 2, p. 84–91, 2017. DOI: 10.5755/j01.eie.23.2.18005. Disponível em: https://eejournal.ktu.lt/index.php/elt/article/view/18005.. Acesso em: 5 dec. 2025.