Formal Specification of the Kademlia and the Kad Routing Tables in Maude | Publicación