System modeling and simulation: an introduction : introduction - Severance, Frank L. (New Delhi : Wiley India Pvt Ltd, 2012)
Keywords: Automata,Formal Languages