Bojan Marinkovic, Zoran Ognjanovic, Paola Glavan, Anton Umek. Correctness of the Chord Protocol. In International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016, Beijing, China, October 20-21, 2016. pages 547-552, IEEE, 2016. [doi]