J. A. Davis: An internetwork system that supports replicated data (abstract). ACM Conference on Computer Science 1986: 425