Новиков, Ф. А.; Тихонова, У. Н. Автоматный метод определения проблемно-ориентированных языков. Часть 3. ИУС 2010, 29-37.