Provides a comprehensive and pedagogical introduction to the concept of self-stabilization. The includes a formal definition of self-stabilization and related concepts, a deep review and study of classical (simple) algorithms, commonly used proof schemes and design patterns, and premium results issued from the self-stabilizing community.