Steven Brown David Gries Thomas G. Szymanski Program Schemes with Pushdown Stores. 242-268 1972 1 SIAM J. Comput. 3 db/journals/siamcomp/siamcomp1.html#BrownGS72