Generalizing Cook's Transformation to Imperative Stack Programs.

Nils Andersen Neil D. Jones Generalizing Cook's Transformation to Imperative Stack Programs. 1-18 1994 conf/birthday/1994salomaa Results and Trends in Theoretical Computer Science db/conf/birthday/salomaa1994.html#AndersenJ94