"Incremental, Informal Program Acquisition."

Brian P. McCune (1980)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics