Первое, чего читаешь про новый язык - синтаксис.
Прекрасно, почитал "Сообщение о языке...". Увидел определения  нетерминалов - совсем хорошо (хотя придраться можно)
Смотрю примеры, типа таких:
## Код:
```
TYPE
   Model = POINTER TO ABSTRACT RECORD (Containers.Model)
      (m: Model) NewWriter (old: TextModels.Writer): TextModels.Writer, NEW, ABSTRACT;
      ..........
   END;
```

НЕ СТЫКУЕТСЯ с приведенными синтаксическми диаграммами
Вопрос: чего я не прочитал еще

P.S. Вот еще... Про "почти прямое" отражение синтаксических конструкций в код - слышал (в смысле, читал) неоднократно.
Я тоже хочу знать это отражение. Где прочитать
Или хотя бы, как дизасм-то делать