Compact self-stabilizing leader election for general networks
Origin : Files produced by the author(s)