Vitalsource Technologies, Inc. Introduction To Distributed Self-stabilizing Algorithms