Yair Amir Danny Dolev Shlomo Kramer Dalia Malki Transis: A Communication Subsystem for High Availability. 76-84 1992 conf/ftcs/1992 FTCS db/conf/ftcs/ftcs92.html#AmirDKM92 http://doi.ieeecomputersociety.org/10.1109/FTCS.1992.243613