Philip A. Bernstein Sequoia: A Fault-Tolerant Tighly Coupled Multiprocessor for Transaction Processing. 37-45 1988 21 IEEE Computer 2 db/journals/computer/computer21.html#Bernstein88