D. Ather, A. K. Saxena, and A. K. Agarwal, “ A Simplified Solution To Design DFA That Accept Strings Over input symbol { a, b} Having At Least x Number Of A And Exactly x Number Of B”, matrix, vol. 2, no. 2, pp. 1-5, Feb. 2014.