Süli, P.P. et al. 2025. Multithreading Atomicity: Static Analysis Checkers. Acta Cybernetica. 27, 2 (Jul. 2025), 241–261. DOI:https://doi.org/10.14232/actacyb.311949.