Выполнение процедуры завершается при достижении конструкции END, соответствующей по смыслу конструкции END PROCEDURE. Поэтому необходимо ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Фридмен М.N.
Проектирование систем с микрокомпьютерами
Выполнение процедуры завершается при достижении конструкции END, соответствующей по смыслу конструкции END PROCEDURE. Поэтому необходимо предусмотреть завершение всех путей в конце процедуры. Для этих целей может быть использована конструкция GOTO, как показано ниже в процедуре ОЖИДАНИЕ ВКЛЮЧЕНИЯ ПЕРЕКЛЮЧАТЕЛЯ. В этом примере конвертируется только часть конструкций языка проектирования.