"Results in Knowledge-Based Program Synthesis."

C. Cordell Green et al. (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics