A Transformation System for Developing Recursive Programs | Synapse