An Ada library to program fault-tolerant distributed applications | Publicación