Косовская, Татьяна Матвеевна. 2014. Подход к решению задачи построения многоуровневого описания классов на языке исчисления предикатов. Труды СПИИРАН 3 (34), 204-17. https://doi.org/10.15622/sp.34.10.