Introduction to formal language theory - Harrison, Michael A. (Addison-Wesley series in computer science, 1978)