Karel Culik II Emo Welzl Two Way Finite State Generators. 106-114 1983 conf/fct/1983 FCT db/conf/fct/fct83.html#CulikW83