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