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.