Introduction to formal language theory. - Harrison, M. A.