Семынина Т.В. Разработка категорных средств анализа формальных языков на основе теории конических типов : автореф. дис. .. канд. техн. наук: 05.13.11 / Т. В. Семынина, 2005. - 17 c. - Текст : непосредственный.