A. Bauer, How to review formalized mathematics, 2013.

T. Balabonski, P. Courtieu, R. Pelle, L. Rieg, S. Tixeuil et al., Manuel de savoirprouver à l'usage des roboteux et des distributeux, ALGOTEL 2019 -21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, pp.1-4, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02115611

P. Flocchini, G. Prencipe, and N. Santoro, Distributed Computing by Mobile Entities, vol.11340, 2019.

K. Okumura, M. Machida, X. Défago, and Y. Tamura, Priority inheritance with backtracking for iterative multi-agent path finding, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, pp.535-542, 2019.

I. Suzuki and M. Yamashita, Distributed Anonymous Mobile Robots : Formation of Geometric Patterns, SIAM Journal of Computing, vol.28, issue.4, pp.1347-1363, 1999.