Pedro de las Heras Quirós Jesús M. González-Barahona José Centeno-González Programming Distributed Fault Tolerant Systems: The <i>replicAda</i> Approach. 21-29 1997 TRI-Ada http://doi.acm.org/10.1145/269629.269632 db/conf/sigada/triada97.html#QuirosGC97