Динамическая проверка типов. (pascal)

Динамическая проверка типов. (pascal)
1. Абстрактный тип для описания элементов сложных структур с динамической проверкой типов - общий подход и описание абстрактного типа.
2. Определение конкретных типов данных - наследников абстрактных объектов для динамической проверки типов данных.


Если знаете, хоть что-нибудь по этим темам напишите. Желательно не проги, а что-нибудь на русском языке.