Uday S. Reddy Bharat Jayaraman Theory of Linear Equations Applied to Program Transformation. 10-16 1983 IJCAI db/conf/ijcai/ijcai83.html#ReddyJ83