Theory of computation : (with formal languages) - Patel, R.B (Khanna Book Publishing Co., 2010)