A self-stabilizing transformer for population protocols with covering
scientific article; zbMATH DE number 5931170
scientific article