Косовская, Татьяна Матвеевна. Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов. Труды СПИИРАН 3, no. 34 (июнь 30, 2014): 204-217. просмотрено март 29, 2024. http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1851.