Symbolic Analysis for Parallelizing Compilers - Haghighat, Mohammad R. (Springer US, 1995)