A Case Study on Proving Transformations Correct: Data-Parallel Conversion. - Stephen Kilpatrick; Maurice Clint; Peter Kilpatrick (IWFM, 1998)