How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm