The most important property of a program is whether it accomplishes the intentions of its user.

— Tony Hoare, An Axiomatic Basis for Computer Programming (1969)

Source: http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf

From a 1969 Communications of the ACM paper.

Topics: software design