The Evolution of programs. - Dershowitz, Nachum (Progress in computer science, 1983)