его же, Формальные грамматики и языки

http://libmeta.ru/resource/mathenc/publication/p6227