Huei-Jan Shyr Gabriel Thierrin Power-Separating Regular Languages. 90-95 1974 8 Mathematical Systems Theory 1 db/journals/mst/mst8.html#ShyrT74