Насчет Зверева не знаю насколько это то, так как не читал его книг. А, во-вторых, в списке литературы в его книгах нет ссылки на статью "Предварительные соображения о лексиконе программирования", в одной только его книге есть ссылка на Ершова на статью про информатику.

Насчет прошедшего обсуждения на oberoncore, как я понял, там обсуждение шло в ключе, что Оберон - это и есть лексикон программирования. Но с этим не полностью согласен, так как в соответствие с тем, что писал Ершов: "Он выражает не только и не столько программы, сколько их свойства и наши суждения о них", "Лексикон, в отличие от конкретного языка программирования, является открытой системой. " и "Для него в целом не ставится задача трансляции любого его текста в машинную программу". А этим критериям Оберон не удовлетворяет.