Symbolic parallelization of nested loop programs - Tanase, Alexandru-Petru; Hannig, Frank; Teich, Jeurgen (Springer International Publishing, 2018)