GIEBAS, D. .; WOJSZCZYK, R. . ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS. Appl. Comput. Sci. 2020, 16, 103-117.