C. Cordell Green The Design of the PSI Program Synthesis System. 4-18 1976 ICSE db/conf/icse/icse76.html#Green76