Edsger Vibe Dijkstra. (№ 418975)

It is deeply erroneous to think that the products of programmers are the programs they write. The programmer is obliged to create trustworthy solutions and present them in the form of convincing arguments, and the text of the written program is only the accompanying material to which these proofs are applicable.