Defining, analyzing, and transforming program constructs. - Jingke Le; Michael Wolfe (IEEE Parallel Distributed Technol. Syst. Appl., 1994)