Paraphrasing: Generating parallel programs using refactoring
A Transformation System for Developing Recursive Programs