Analysis of finite state automata by state isolation Š. Ušćumlić; D. Bratičević — 1978 Matematički Vesnik