Федорченко, Применение синтаксически ориентированного управления обработкой данных в логических системах, ТС, т. 2, вып. 3, сс. 162-168, апр. 2006.