Согласен с Андреем. Чрезмерное сокращение имён переменных вижу повсеместно в исходниках на Обероне. С именами процедур и типами обычно всё в порядке. Локальные переменные простительны, если используются стандартные буквы (i - INTEGER, s - строка и т.п.). Но параметры процедур и поля записей в одну-две буквы не способствуют чтению, это точно. Я всегда для них использую одно или два полных слова, иногда сокращение (prev вместо previous, res вместо result и т.п.).