@article{CSIS_2020_17_1_a8,
     author = {Bojan Marinkovi\'c and Zoran Ognjanovi\'c and Paola Glavan and Anton Kos and Anton Umek},
     title = {Correctness of the {Chord} {Protocol}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {17},
     number = {1},
     year = {2020},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a8/}
}