Specification and complexity of replicated objects — Hagit Attiya