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