Walter J. Savitch Patrick W. Dymond Consistency in Nondeterministic Storage. 118-132 1984 29 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss29.html#SavitchD84