Theory of formal languages with applications - Simovici, Dan A. (World Scientific, 1999)