Formal Specification of Spanning Tree Protocol Using ACP - Juan Roig, Pedro (2017)