Stephen Kilpatrick Maurice Clint Peter Kilpatrick A Case Study on Proving Transformations Correct: Data-Parallel Conversion. 1998 conf/iwfm/1998 IWFM db/conf/iwfm/iwfm1998.html#KilpatrickCK98 http://ewic.bcs.org/content/ConWebDoc/4392