Formal Algebraic Specification of an IoT/Fog Data Centre for Fat Tree or Leaf and Spine architectures | Publicación