This lecture covers 2 stack PDA's and shows that they are equal to Turing machines and Post machines.
No download links available.
