Introduction to the theory of finite automata - Kobrinskii, N.E (North-Holland Pub., 1965)