A general framework for program optimization and scheduling (1995)

by M Girkar, C D Polychronopoulos