Algebraic formal modelling of EIGRP using ACP | Publicación