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