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