Мартыненко, Б. Регулярные языки и КС-грамматики. CTE 2014.