Introduction to formal grammars [by] M. Gross [and] A. Lentin