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