Danny Dolev Tomás Feder 428-433 conf/focs/FOCS30 1989 FOCS db/conf/focs/focs89.html#DolevF89 https://doi.org/10.1109/SFCS.1989.63514 https://doi.ieeecomputersociety.org/10.1109/SFCS.1989.63514