Vijay Menon, Keshav Pingali: High-level semantic optimization of numerical codes. International Conference on Supercomputing 1999: 434-443