Эдсгер Вибе Дейкстра. (№ 418975)

Глубоко ошибается тот, Кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия Решения и представлять их в форме убедительных доводов, а Текст написанной программы является лишь сопроводительным материалом, к которому Эти Доказательства применимы.