A Program for Computing Finite Automata. Unpublished manuscript (1987)