Introduction to Distributed Self-Stabilizing Algorithms - Altisen, Karine (Springer International Publishing, 2019)