“Formal Specification of Spanning Tree Protocol Using ACP” (2017) Elektronika ir Elektrotechnika, 23(2), pp. 84–91. doi:10.5755/j01.eie.23.2.18005.