R-linearizability: An extension of linearizability to replicated objects - Pacull, Francois; Sandoz, Alain (: IEEE, 1993)