D. GIEBAS and R. WOJSZCZYK, “ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS”, Appl. Comput. Sci., vol. 16, no. 4, pp. 103–117, Dec. 2020, doi: 10.23743/acs-2020-32.