Voprosy sinteza konečnych avtomatov. - Levin, V. I. (1972)