Не так часто можно встретить упоминание Оберонов в русскоязычной части Интернета. Вот, вычитал> -- Цитата:
> … Одним из видов статического анализа является потоковый анализ, применяемый в статическом анализаторе Wasp для Oberon-2, Modula-2 и Java [11]…[11] В.И.Шелехов, С.В.Куксенко. Статический анализатор семантических ошибок периода исполнения // Программирование, 6. 1998. - С.23-43.Саму статью пока не нашел, но, может быть, за десять лет накопились какие-нибудь отзывы.