Introduction to the theory of finite automata - Kobrinskii N E; Trakhtenbrot B A (Amsterdam North-Holland, 1965)
Keywords: Automata theory; Mathematical logic