Synthesis and Optimization of Programs by Means of <i>P</i>-Funktions.

André Thayse Synthesis and Optimization of Programs by Means of <i>P</i>-Funktions. 34-40 1982 31 IEEE Trans. Computers 1 db/journals/tc/tc31.html#Thayse82