Self-stabilizing leader election in optimal space under an arbitrary scheduler
scientific article; zbMATH DE number 5955908