"Program Synthesis from Incomplete Specifiactions."

Gérard D. Guiho, Christian Gresse (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics