A simple proof of a simple consensus algorithm
scientific article; zbMATH DE number 4121398