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