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