Introduction to formal grammars - Gross, M. (Springer, 1970)