Спасибо за ваш ответ. Вы увязываете тип записи ABSTRACT с наличием в нем процедуры, которая обязательно должна быть определена при реализации (в отличие от пустой процедуры EMPTY). Но эта абстрактная процедура должна быть реализована в наследнике, который уже не является абстрактной записью, значит, абстрактная процедура, по идее, может быть привязана к любому типу записи (с моей точки зрения).
Вывод о том, что абстрактная запись недоделана и ее реализация через наследника - на страх и риск программиста - имеет место быть, но с моей точки зрения не совсем убедителен.
Еще раз благодарю вас за ваш ответ.