Параметр я, упомянутый в этой части (заметим, что value по-русски значение), получает при обращении к процедуре значение соответствующего фактического параметра. Большего и не требуется, чтобы можно было начать выполнение тела процедуры. Параметр s, который не был упомянут в этой части заголовка, во время выполнения тела процедуры заменяется соответствующим фактическим параметром.
В качестве этого фактического параметра должна быть задана некоторая переменная — та, которой мы хотим присвоить значение суммы 1 + 1/2 + ... + 1/я, вычисляемой в процессе выполнения процедуры. Как мы увидим из дальнейшего, единственный способ сделать это значение доступным программе, обратившейся к процедуре, в том и состоит, чтобы указать, какой переменной мы хотим его присвоить, и заменить этой переменной параметр s на время выполнения тела процедуры при данном обращении.
В общем случае описание процедуры состоит из заголовка про-цедуры и тела процедуры, выписанных одно за другим. Тело процедуры — это произвольный оператор, чаще всего — блок. Заголовок состоит из выписанных подряд символа procedure (процедура), идентификатора процедуры, совокупности формальных параметров, списка значений и совокупности спецификаций. Лишь первые два из названных пяти элементов заголовка процедуры обязательны, а совокупность формальных параметров, список значений и спецификации могут отсутствовать. Идентификатор процедуры (в нашем примере — К) может быть любым. Но поскольку описание процедуры локализует этот идентификатор в блоке, в начале которого оно помещено, он должен отличаться от всех других локальных идентификаторов этого блока.
Совокупность формальных параметров состоит из списка формальных параметров, заключенного в круглые скобки. После совокупности формальных параметров (а при ее отсутствии — после идентификатора процедуры) ставится точка с запятой. Формальные параметры — это попарно различные идентификаторы. В списке они разделяются запятыми. Глобальный идентификатор, встречающийся в теле процедуры, считается формальным параметром лишь в том случае, когда он включен в список формальных параметров.