Virtual trees for the byzantine generals algorithm. - Ahuva Tikvati; Mordechai Ben-Ari; Yifat Ben-David Kolikant (SIGCSE, 2004)