Introduction to formal language theory. - Harrison, M. A. (2008)