КОСОВСКАЯ, Т. М. Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов. Труды СПИИРАН, v. 3, n. 34, p. 204-217, 30 jun. 2014.