Symbolic Parallelization of Nested Loop Programs - Tanase, Alexandru-Petru (Springer International Publishing, 2020)