The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient (1997)

by Stephen Fitzpatrick, Terence J Harmer, Alan Stewart, Maurice Clint, James M Boyle
Venue:Array Processor Implementations,” Science of Computer Programming