https://123dok.net/document/qo51l90m-formally-proving-and-enhancing-self-stabilising-distributed-algorithm.html