Oliver E. Theel, Felix C. Gärtner. An exercise in proving convergence through transfer functions. In Anish Arora, editor, 1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, June 5, 1999, Proceedings. pages 41-47, IEEE Computer Society, 1999.
Abstract is missing.