Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов - Косовская, Татьяна Матвеевна (Труды СПИИРАН, 2014)