"Kohavi, Zvi" Switching and Finite Automata Theory - \\201303ENGGPSX - Cambridge University Press 2013 Cambridge - 616p. includes index and biblioraphy ISBN: 9.78E+12