На мой взгляд, процедурный тип с значением NIL хорошо эмулирует абстрактную процедуру в Компонентном Паскале. Правда, ошибка будет выходить не на этапе компиляции, а на этапе выполнения, но это уже специфика компиляторов Оберона. Можно ли в Обероне-2 с помощью связанных процедур эмулировать абстрактную процедуру в Компонентном Паскале - думаю, что нет, но лучше меня на этот вопрос ответят специалисты.