Доказательство правильности программ. Структурное программирование