A constructive proof for FLP
scientific article; zbMATH DE number 5599137