Integrating groups and transactions: A fault-tolerant extension of Ada | Publicación