Symbolic Parallelization of Nested Loop Programs by Alexandru-Petru Tanase | Menrva Books | MenrvaBooks