Walter Bucher Two-Symbol DOS Systems Generating Regular Languages. 133-142 1983 20 Acta Inf. db/journals/acta/acta20.html#Bucher83