Wei-Ngan Chin Siau-Cheng Khoo Zhenjiang Hu Masato Takeichi Deriving Parallel Codes via Invariants. 75-94 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#ChinKHT00