Maintaining availability in partitioned replicated databases - Abbadi, Amr El; Toueg, Sam (1986)