Nils Andersen, Neil D. Jones. Generalizing Cook s Transformation to Imperative Stack Programs. In Juhani Karhumäki, Hermann A. Maurer, Grzegorz Rozenberg, editors, Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings. Volume 812 of Lecture Notes in Computer Science, pages 1-18, Springer, 1994.
Abstract is missing.