Djerou, M. ., & Tibermacine, O. . (2022). SAGA Distributed Transactions Verification Using Maude. In (pp. 1–6). Biskra, Algeria: IEEE. http://doi.org/10.1109/ISNIB57382.2022.10076050 (Original work published 2024)