D. N. Babin Verbal Operation on Automaton. 42-44 1987 conf/fct/1987 FCT db/conf/fct/fct87.html#Babin87