Computer languages of the future will be more concerned with goals and less with procedures specified by the programmer.

Turing Award Lecture "Form and Content in Computer Science" (1969), in Journal of the Association for Computing Machinery 17 (2) (April 1970)