Postscript Document and DVI file.
Dijkstra introduced the problem of self-stabilization in distributed systems as an interesting exercise for achieving global convergence through local actions. In the original CACM article, he presented three solutions to a specific version of the self-stabilization problem, one of which was proved later in an article in Distributed Computing. This paper presents an alternative solution to his self-stabilization problem with four-state machines.