On the decomposability of monadic algebras and automata | IEEE Conference Publication | IEEE Xplore