Thanh, Hoang. " “Shift-Left” Algorithms transforming sequential processes into concurrent ones." VNU Journal of Science: Mathematics - Physics [Online], 22.2 (2006): n. pag. Web. 6 Apr. 2025