Илья, Вы не будете против, если я дополню Ваш текст цитатами из книги Вирта "Программирование на Обероне" в своём переводе?

> -- Цитата:
> Программа представляет из себя текст. Поскольку этот текст описывает довольно сложный процесс, и должен это делать предельно отчётливо и со вниманием ко всем деталям, то и значение этого текста должно быть указано очень точно. Для такой точности требуется соответствующий формализм, известный как «язык». Мы заимствуем это понятие, несмотря на то, что обычный язык употребляется в речи и определён менее точно.

> -- Цитата:
> 

Это хорошая отправная точка - программа есть текст и поэтому, наверное, можно в какой-то мере использовать подходы, наработанные в других областях - лингвистике, семиотике...