Косовская, Т. М. Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов. ТС 2014, 3, 204-217.