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