Tadashi Ae Direct or Cascade Product of Pushdown Automata. 257-263 1977 14 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss14.html#Ae77