Sequentiality, Second Order Monadic Logic and Tree Automata