1. Comar, C., Gasperoni, F., and Schoberg, E. The GNAT Project: A GNU-Ada9X Compiler. Technical report. New York University. 1994.
2. Miranda, J., áAlvarez, A., Guerra, F. and Arévalo, S. Drago: A Language for Programming Fault-Tolerant and Cooperative Distributed Applications. Reference Manual. http://www.cma.ulpgc.es/users/gsd/
3. Miranda, J., álvarez, A., Arévalo, S. and Guerra, F. Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. Reliable Software Technologies. Ada-Europe’96. 1996. pp.235–246.
4. Birman, K., R. Cooper, T. Joseph, K. Marzullo, M. Makpangou, K. Kane, F. Schmuck, and M. Wood. The Isis System Manual. Version 2.1. September 1990.
5. Schneider, F.B. Implementing Fault-tolerant Services Using the State Machine Approach: A Tutorial. ACM Computing Surveys, 22(4), December 1990.