Ф. А. Новиков и У. Н. Тихонова, Автоматный метод определения проблемно-ориентированных языков, ИУС, вып. 6, сс. 34-40, дек. 2009.