Application of program transformation to program synthesis (1975)

by J DARUNGTON
Venue:Proc 1RIA Symp Proving and Improving Programs, Arc-et-Senans