Конечные автоматы: эквивалентность и поведение (Наука, 1984)