M. Castro, M. Costa, and A. I. Rowstron, Performance and dependability of structured peer-to-peer overlays, International Conference on Dependable Systems and Networks, 2004, pp.9-18, 2004.
DOI : 10.1109/DSN.2004.1311872

A. Haeberlen, J. Hoye, A. Mislove, and P. Druschel, Consistent key mapping in structured overlays, 2005.

T. Lu, S. Merz, and C. Weidenbach, Model checking the pastry routing protocol, 10th Intl. Workshop Automatic Verification of Critical Systems, pp.19-21, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00540811

T. Lu, S. Merz, and C. Weidenbach, Towards Verification of the Pastry Protocol Using TLA???+???, FMOODS/FORTE 2011, pp.244-258, 2011.
DOI : 10.1007/3-540-48153-2_6
URL : https://hal.archives-ouvertes.fr/inria-00593523

T. Lu, S. Merz, and C. Weidenbach, Towards verification of the Pastry routing protocol using TLA + . Research Report MPI-I-2011-RG1-002, p.66123, 2011.

P. Zave, Using lightweight modeling to understand chord, ACM SIGCOMM Computer Communication Review, vol.42, issue.2, pp.49-57, 2012.
DOI : 10.1145/2185376.2185383