1. Alsberg P, Day JD (1976) A principle for resilient sharing of distributed resources. In: Proceedings of the 2nd international conference on software engineering (ICSE). IEEE Computer Society, Los Alamitos, pp 562–570
2. Armendáriz-Íñigo JE, González de Mendívil JR, Garitagoitia JR, Muñoz-Escoí FD (2009) Correctness proof of a database replication protocol under the perspective of the I/O automaton model. Acta Inf 46(4):297–330
3. Bartoli A (1999) Reliable distributed programming in asynchronous distributed systems with group communication. Tech rep, Università di Trieste, Trieste, Italy
4. Bernstein PA, Hadzilacos V, Goodman N (1987) Concurrency control and recovery in database systems. Addison-Wesley, Reading
5. Birman KP (2005) Reliable distributed systems: technologies, web services, and applications. Springer, Berlin. http://www.truststc.org/pubs/47.html