TY - SER AU - Bhansali, Sanjay AU - Hoar, Time J. TI - Automated Software Synthesis an Application in Mechanical Cad KW - Program Analysis for Understanding KW - Reuse KW - Domain ER -