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