Introduction to Formal Languages (G. E. Revesz)