Theory of Formal Languages with Applicat by Dan A. Simovici & Richard Tenney