Bhansali, S. Domain-Based Program Synthesis Using Planning and Derivational Analogy. AIMag 1991, 12, 31.