On the Cascade Decomposition of Prefix Automata | IEEE Journals & Magazine | IEEE Xplore