Gabriel Thierrin Permutation Automata. 83-90 1968 2 Mathematical Systems Theory 1 db/journals/mst/mst2.html#Thierrin68