A system which automatically improves programs
scientific article; zbMATH DE number 3506152