An implementation of a replicated file server supporting the crash-recovery failure model | Publicación