The book series Loop Transformations for Restructuring Compilers has been designed to provide a complete mathematical theory of transformations, that can be used to automatically change a sequential program containing FORTRAN-like do loops into an equivalent parallel form. Dependence Analysis is directed toward graduate and advanced undergraduate students, and professional writers of restructuring compilers.