Цитата из книги «Чистая архитектура. Искусство разработки программного обеспечения»

Это было важное открытие: управляющие структуры, делающие доказуемой правильность модуля, в точности совпадали с набором структур, минимально необходимым для написания любой программы. Так родилось структурное программирование.