L. Chrpa and M. Vallati, “Critical Section Macros - New Results (Extended Abstract)”, SOCS, vol. 18, no. 1, pp. 255–256, Jul. 2025.