A Unifying Approach for Multistack Pushdown Automata