Ensuring Progress in Amnesiac Replicated Systems | Publicación