Replicated Objects-Design and Verification. - Jacob Aizikowitz (1990)