A methodological construction of an efficient sequential consistency protocol | Publicación