Introduction to formal grammars - Gross M; Lentin A (Berlin Springer Verlag, 1970)
Keywords: Mathematical logic