Федорченко,. Применение синтаксически ориентированного управления обработкой данных в логических системах. Труды СПИИРАН, т. 2, вып. 3, Apr. 2006, сс. 162-8, DOI:10.15622/sp.3.13.