Это не только мой стиль, он когда-то сформировался под влиянием исходных текстов Блэкбокса.

Стиль заключается в том, что имена процедур, типов, глобальных переменных объявляются полноценно и с отражением смысла, имена параметров процедур - тоже достаточно содержательно, а вот имена локальных переменных - коротко.

У этого стиля, на мой взгляд, есть ряд достоинств.
Начать с того, что краткие обозначения сущностей близкого контекста вообще привычны для математиков и физиков. Голова хорошо держит контекст, выставленный для небольшого участка формального текста.
Зато запись получается ёмкой, ориентация не на том, с какими объектами идёт работа (они и так ближнего контекста), а какие действия выполняются с ними.
Назначение локальных переменных обычно очевидно из их типа и того, как они используются (откуда получили начальное значение, параметрами какого цикла являются). В редком случае, когда неочевидно, действительно стоит назвать длиннее.
Наконец, при взгляде на текст сразу видно, то ли это обращение к внешней по отношению к процедуре сущности (и это сразу бросится в глаза из-за длинного имени, что и нужно), то ли это работа с локальным значением.

В общем, такой стиль как раз верно расставляет акценты и помогает воспринимать исходный текст.

Текст с длинными локальными именами для меня наоборот читать некомфортно. Не поймёшь, какие сущности внешние, а какие локальные, как-то содержание алгоритма "замылено" лексикой.
Правило "именуйте локальную переменную длинно" пришло в том числе из книжек, в которых новичкам не прививается сразу манера декомпозиции программы на процедуры. Там же советуется комментировать.
Смысл же происходящего должен быть отражён в декомпозиции на процедуры (с длинными понятными именами). А уже действия должны быть "самопонятны". Для локальных переменных цикла, если он нестандартной схемы, пишется в комментарии инвариант - вот и весь их смысл.