Stepwise Refinement and Reuse: The Key to ESL