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