Further work is needed to establish a comparably solid formal foundation for TGSA form.
The program dependence graph and its use in optimization - Ferrante, Ottenstein et al. Integrating noninterfering versions of programs - Horwitz, Prins et al. Doc 1031 The Design and Analysis of Computer Algorithms - Aho, Hopcroft et al. Doc 550 Techniques and Tools - Aho, Sethi et al. The program dependence graph and its use in optimization - Ferrante, Ottenstein et al.